Binary decision diagrams for first order predicate logic
J.F. Groote
Binary decision diagrams for first order predicate logic
In het kort
ISBN-13
9789039308578
Uitgever
Verschenen
1 juli 1995
Bibliografisch
ISBN-139789039308578
SerieLogic group preprint series — deel 127
Editie1
TaalNederlands dut
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01J.F. Groote
Herkomst
Werk-id (NSTC)500818114
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
NSTC 500818114 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026









