Catalog

Record Details

Catalog Search


Search Results Showing Item 4 of 140

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Artemov, Sergei N. (editor.). Nerode, Anil. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783540727347
  • Physical Description: electronic
    electronic resource
    access
    remote
    XI, 513 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Subject: Computer science
Logic design
Logic, Symbolic and mathematical
Computer Science
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Mathematical Logic and Foundations
Search Results Showing Item 4 of 140

Additional Resources