Skip to content
ELTEFind logo
  • Previous online catalog
  • Gimikatalógus
  • Your Account
  • Log Out
  • Login
    • English
    • magyar
  • In Library Catalogs
  • In external databases
  • In EBSCO databases
  • In Other Databases
Advanced Browse
  • Automated Reasoning with Analy...
  • Holdings
  • Cite this
  • Email this
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to BibTeX
    • Export to RIS
  • Save to List
  • Share this
    • facebook
    • google+
    • pinterest
    • twitter
Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
QR Code
Preview
Preview
Preview

Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

Saved in:
Bibliographic Details
Corporate Authors:
SpringerLink (Online service), közreadó testület
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods26.(2017) (Brasília, Brazília)
Other Authors:
Schmidt, Renate A., szerk.
Nalon, Cláudia, szerk.
Special Collection:e-book
Format: Book
Language:English
Published: Cham : Springer International Publishing, 2017
Series:Lecture Notes in Artificial Intelligence ; 10501
Subjects:
Artificial intelligence.
mesterséges intelligencia
Computer science.
számítástudomány
Software engineering.
szoftverfejlesztés
Logic design.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
elektronikus könyv
Online Access:https://doi.org/10.1007/978-3-319-66902-1
Tags: Add Tag
Be the first to tag this record!
  • Holdings
  • Description
  • Comments
  • Preview
  • Similar Items
  • Staff View
  • MARC View

Internet

https://doi.org/10.1007/978-3-319-66902-1

Similar Items

  • Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
    Published: (2017)
  • Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
    Published: (2017)
  • Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
    Published: (2017)
  • Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
    Published: (2017)
  • Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
    Published: (2017)

Search Options

  • Search History
  • Advanced Search

Find More

  • Explore Channels
  • New Items

Need Help?

  • Search Tips
  • Videos
  • Ask a Librarian
  • Contact
Loading...