Techniques for reasoning in fo(id) and fixpoint logic
Ping Hou
Techniques for reasoning in fo(id) and fixpoint logic
Paperback230 pagina’sEngels
In het kort
ISBN-13
9789460181900
Verschenen
24 maart 2010
Bibliografisch
ISBN-139789460181900
Editie1
TaalEngels eng
Pagina’s230
GeïllustreerdNee
Uitgave
CB-relatie-id8109288
Verschenen24 maart 2010
StatusOnbekend 00
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Computertechniek 958
NUR (alle)958 Computertechniek
Medewerkers
Auteur A01Ping Hou
Herkomst
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
CB-relatie 8109288 · Bijgewerkt 6 augustus 2026