Holdings: Logic for Programming, Artificial Intelligence, and Reasoning

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Dershowitz, Nachum. (Editor, http://id.loc.gov/vocabulary/relators/edt), Voronkov, Andrei. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:	1st ed. 2007.
Series:	Lecture Notes in Artificial Intelligence ; 4790
Subjects:	Software engineering. Artificial intelligence. Computer programming. Computer logic. Mathematical logic. Software Engineering/Programming and Operating Systems. Artificial Intelligence. Programming Techniques. Software Engineering. Logics and Meanings of Programs. Mathematical Logic and Formal Languages.
Online Access:	https://doi.org/10.1007/978-3-540-75560-9
Tags:	Add Tag No Tags, Be the first to tag this record!