Siirry suoraan sisältöön
Gandalf (theorem prover)
Tallenna

Gandalf (theorem prover)

pokkari, 2026
englanti
Alaotsikko
Automated Theorem Prover, Semantic Web, Scheme (programming language)
ISBN
9786131372698
Kieli
englanti
Paino
209 grammaa
Julkaisupäivä
18.3.2026
Kustantaja
OmniScriptum
Sivumäärä
128