MENÜ MENÜ  

cover

The Disconnection Calculus

Gernot Stenz

ISBN 978-3-8325-0070-2
193 pages, year of publication: 2002
price: 40.50 €

Keywords:
  • Logik
  • Theorembeweise
  • Tableauverfahren
  • Suchraumreduktion
  • Parallelosierung

Buying Options

40.50 €