Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Saved in:
Bibliographic Details
Corporate Authors:
SpringerLink (Online service)
International Conference on Automated Deduction26.(2017) (Gothenburg, Svédország)
Other Authors:
de Moura, Leonardo, szerk.
Special Collection:e-book
Format: Book
Language:English
Published: Cham : Springer International Publishing, 2017
Series:Lecture Notes in Artificial Intelligence ; 10395
Subjects:
Artificial intelligence.
mesterséges intelligencia
Computer science.
számítástudomány
Logic design.
Software engineering.
szoftverfejlesztés
Computer software.
szoftver
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Algorithm Analysis and Problem Complexity.
elektronikus könyv
Online Access:https://doi.org/10.1007/978-3-319-63046-5
Tags: Add Tag
Be the first to tag this record!
Login for hold and recall information

Internet

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

Library of Fac. of Informatics

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

Similar Items