• 

  Marek Karpinski's Home Page

  http://theory.cs.uni-bonn.de/~marek/

  Marek Karpinski's Home Page at the Dept. of Computer Science, University of Bonn

• 

  Das Springerproblem

  http://www.axel-conrad.de/springer/springer.html

  Die Lösung des Springerproblems

• 

  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.

---

---