Cover image for Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
Title:
Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
Author:
Grädel, Erich. editor.
ISBN:
9783642040276
Edition:
1st ed. 2009.
Physical Description:
XI, 567 p. online resource.
Series:
Theoretical Computer Science and General Issues, 5771
Subject Term:
Artificial intelligence.

Mathematical logic.

Machine theory.

Computer science.

Computer science-Mathematics.

Coding theory.

Information theory.

Mathematical Logic and Foundations.

Formal Languages and Automata Theory.

Computer Science Logic and Foundations of Programming.

Symbolic and Algebraic Manipulation.

Coding and Information Theory.
Added Author:
Grädel, Erich.

Kahle, Reinhard.
Added Corporate Author:
SpringerLink (Online service)
Electronic Access:
https://doi.org/10.1007/978-3-642-04027-6

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Searching...
 E-Book 170382-1001 Q334 -342
Searching...

On Order