Cover Image

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings /

Show other versions (1)
Bibliographic Details
Main Author: Baader, Franz
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.
Series:Lecture notes in computer science ; 2741.
Subjects:
Artificial intelligence.
Computer science.
Logic design.
Artificial Intelligence > (incl. Robotics)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Electronic books.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
 
Call Number Status Get It
Available