Omslagsbillede

Summary goes here

Saved in:
Bibliografiske detaljer
Format: Bog
Sprog:engelsk
Fag:
Kowalski, Robert.
Automatic theorem proving.
Logic programming.
Logic programming languages.
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Beskrivelse
Summary:Summary goes here
Emne beskrivelse:General Notes
Fysisk beskrivelse:2 volumes :illustrations ;24 cm
ISBN:9783540439592 (pt. I : softcover : alk. paper)
9783540439608 (pt. II : softcover : alk. paper)