Ergebnisse für: Theorembeweiser

Hier findest Du Bücher, die sich mit Theorembeweiser beschäftigen.

Buch Cover Ein Tableaubasierter Theorembeweiser für die intuitionistische Logik

Oldenbourg Wissenschaftsverlag
€ · Paperback
...
Buch Cover HOL-CSP: MECHANISED FORMAL DEVELOPMENT OF CONCURRENT PROCESSES

Logos Berlin
40.5 € · Paperback
...

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden