Formalisieren und Beweisen : Logik Für Informatiker

ISBN
9783528047573
$59.99
Author Siefkes, Dirk
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 1990
  • xiii, 262
  • Yes
  • QA8.9-QA10.3QA76.9.L