Cover Image
Read Now

Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Bibliographic Details
Other Authors: Gore, Rajeev (Editor), Leitsch, Alexander (Editor), Nipkow, Tobias (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2001, 2001
Edition:1st ed. 2001
Series:Lecture Notes in Artificial Intelligence
Subjects:
Computer Science Logic And Foundations Of Programming
Software Engineering
Computer Science
Mathematical Logic
Artificial Intelligence
Formal Languages And Automata Theory
Machine Theory
Mathematical Logic And Foundations
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Physical Description:XIII, 712 p online resource
ISBN:9783540457442

Similar Items