Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

ISBN
9783540749141
$129.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2007
  • xiv, 600
  • Yes
  • 4646
  • QA75.5-76.95