Titel:
Horn logic, search and statisfiability : A collection of papers in memory of Robert G. Jeroslow; Vol. 1
Beteiligte Person(en):
Golumbic, Martin Charles
,
Hammer, Peter L.
,
Hansen, Pierre
,
Ibaraki, Toshihide
Verlag:
Basel :Baltzer,
Erscheinungsjahr:
1990
Seiten:
372 S.
Serie:
Annals of mathematics and artificial intelligence Vol. 1
Materialart:
Buch
Permalink