TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Springe zu: Deutsch | Englisch
Anzahl der Einträge: 3.

Deutsch

Kreitz, Christoph ; Mantel, Heiko ; Otten, Jens ; Schmitt, Stephan
Hrsg.: McCune, William (1997)
Connection-Based Proof Construction in Linear Logic.
Konferenzveröffentlichung, Bibliographie

Otten, Jens (1997)
ilean TAP: An intuitionistic theorem prover.
Konferenzveröffentlichung, Bibliographie

Englisch

Mantel, Heiko ; Otten, Jens
Hrsg.: Murray, Neil V. (1999)
linTAP: A Tableau Prover for Linear Logic.
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 04:17:19 2024 CET generiert.