Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
by
Bonacina, Maria Paola. editor.
Title
:
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
Author
:
Bonacina, Maria Paola. editor.
ISBN
:
9783642385742
Physical Description
:
XVI, 466 p. 95 illus. online resource.
Series
:
Lecture Notes in Computer Science, 7898
Subject Term
:
Computer science.
Software engineering.
Computer software.
Logic design.
Artificial intelligence.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 334626-1001 | ONLINE(334626.1) | | Elektronik Kütüphane |