Cover image for Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings
Title:
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings
Author:
Kaminski, Michael. editor.
ISBN:
9783540875314
Edition:
1st ed. 2008.
Physical Description:
XI, 513 p. online resource.
Series:
Theoretical Computer Science and General Issues, 5213
Subject Term:
Computer science.

Machine theory.

Artificial intelligence.

Mathematical logic.

Theory of Computation.

Formal Languages and Automata Theory.

Computer Science Logic and Foundations of Programming.

Mathematical Logic and Foundations.
Added Author:
Kaminski, Michael.

Martini, Simone.
Added Corporate Author:
SpringerLink (Online service)
Electronic Access:
https://doi.org/10.1007/978-3-540-87531-4

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Searching...
 E-Book 147078-1001 QA75.5 -76.95
Searching...

On Order