Finite domain and symbolic inference methods for extensions of first-order logic
Johan Wittocx
Finite domain and symbolic inference methods for extensions of first-order logic
Paperback235 pagina’sEngels
In het kort
ISBN-13
9789460181962
Verschenen
26 mei 2010
Bibliografisch
ISBN-139789460181962
Editie1
TaalEngels eng
Pagina’s235
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Computertechniek 958
NUR (alle)958 Computertechniek
Medewerkers
Auteur A01Johan Wittocx
Herkomst
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
CB-relatie 8109288 · Bijgewerkt 6 augustus 2026