• 

  Beweissysteme und monotone Schaltkreise

  http://www.tcs.informatik.uni-muenchen.de/~jjohanns/projekt.html

  Keine Beschreibung vorhanden.

• 

  Beweissysteme und monotone Schaltkreise

  http://www.tcs.informatik.uni-muenchen.de/~jjohanns/projekt.html#ref15

  Keine Beschreibung vorhanden.

---

---