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
  • Logic Programming and Nonmonot...
  • 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
Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
QR Code
Preview
Preview
Preview

Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Saved in:
Bibliographic Details
Corporate Authors:
SpringerLink (Online service)
International Conference on Logic Programming and Nonmonotonic Reasoning14.(2017) (Espoo, Finnország)
Other Authors:
Balduccini, Marcello, szerk.
Janhunen, Tomi, szerk.
Special Collection:e-book
Format: Book
Language:English
Published: Cham : Springer International Publishing, 2017
Series:Lecture Notes in Artificial Intelligence ; 10377
Subjects:
Artificial intelligence.
mesterséges intelligencia
Logic design.
Computer science.
számítástudomány
Computational complexity.
Software engineering.
szoftverfejlesztés
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Software Engineering.
Programming Techniques.
elektronikus könyv
Online Access:https://doi.org/10.1007/978-3-319-61660-5
Tags: Add Tag
Be the first to tag this record!
  • Holdings
  • Description
  • Comments
  • Preview
  • Similar Items
  • Staff View
  • MARC View
Login for hold and recall information

Internet

https://doi.org/10.1007/978-3-319-61660-5

Library of Fac. of Informatics

Holdings details from Library of Fac. of Informatics
Call Number: Copy: Collection: Status:
13816 13816 Non-circulating

Similar Items

  • Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
    Published: (2017)
  • Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
    Published: (2017)
  • Relational and Algebraic Methods in Computer Science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
    Published: (2017)
  • Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
    Published: (2017)
  • Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 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...