Title:
Horn logic, search and statisfiability : A collection of papers in memory of Robert G. Jeroslow; Vol. 1
Contributer:
Golumbic, Martin Charles
,
Hammer, Peter L.
,
Hansen, Pierre
,
Ibaraki, Toshihide
Publisher:
Basel :Baltzer,
Year of publication:
1990
Pages:
372 S.
Series Statement:
Annals of mathematics and artificial intelligence Vol. 1
Type of Medium:
Book
Permalink