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
  • Logic and Its Applications
  • 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 and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
QR Code
Preview
Preview
Preview

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Saved in:
Bibliographic Details
Corporate Authors:
SpringerLink (Online service), közreadó testület
Indian Conference on Logic and Its Applications7.(2017) (Kanpur, India)
Other Authors:
Ghosh, Sujata, szerk.
Prasad, Sanjiva, szerk.
Special Collection:e-book
Format: Book
Language:English
Published: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2017
Series:Lecture Notes in Computer Science ; 10119
Subjects:
Computer science.
Logic design.
Artificial intelligence.
Computer software.
Computer simulation.
Software engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
Algorithm Analysis and Problem Complexity.
Simulation and Modeling.
Software Engineering.
elektronikus könyv
Online Access:https://doi.org/10.1007/978-3-662-54069-5
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-662-54069-5

Similar Items

  • Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 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)
  • Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
    Published: (2017)
  • Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
    Published: (2017)
  • Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 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...