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: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
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)