Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings
Saved in:
| Corporate Author: | LFCS 2007 New York, N.Y.) |
|---|---|
| Other Authors: | Artemov, S. N., Nerode, Anil, 1932- |
| Format: | Book |
| Language: | English |
| Published: |
Berlin ;
Springer,
c2007.
|
| Series: | Lecture notes in computer science (Springer) . ;
4514. |
| Subjects: | |
| Online Access: |
Similar Items
-
Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
Published: (2003) -
Logic in computer science : modelling and reasoning about systems
by: Huth, Michael, 1962-
Published: (2004) -
Introduction to logic
by: Packard, Dennis J
Published: (1980) -
Computability : computable functions, logic, and the foundations of mathematics
by: Epstein, Richard L.
Published: (2000) -
Logic for mathematicians /
by: Hamilton, A G 1943-
Published: (1988)