Megjelenítés: 1 - 2 / 2 - kulcsszavak: 'Nipkow, Tobias', keresési idő: 0.01mp Találatok szűrése
1
Isabelle/HOL : A proof assistant for higher-order logic
Szerző: Nipkow, Tobias
Megjelenés: 2002
könyv
Mentés a listára
Mentés helye:
2
Isabelle : a generic theorem prover
Szerző: Paulson, Lawrence C.
Megjelenés: 1994
Közreműködő(k): “...Nipkow, Tobias...”
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben —