Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /
Corporate Authors: | , |
---|---|
Other Authors: | , |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Berlin ; New York :
Springer,
[2007]
|
Series: | LNCS sublibrary. Theoretical computer science and general issues.
Lecture notes in computer science. 4646. |
Subjects: | |
Online Access: | Connect to the full text of this electronic book |
Internet
Connect to the full text of this electronic bookEvans: Library Stacks
Call Number: |
QA76.9.L63 C78 2007 |
|
---|---|---|
Call Number | Status | Get It |
QA76.9.L63 C78 2007 | Available |