Stel een vraag
Met het formulier hier onder kunt u contact op nemen met boekwinkel Lagoos.
Loveland, Donald W. - Automated Theorem Proving: A Logical Basis
De vraag gaat over de volgende titel:
Schrijver: | Loveland, Donald W. |
---|---|
Titel: | Automated Theorem Proving: A Logical Basis |
ISBN: | 9780720404999 |
Uitgever: | North-Holland Publishing Company (Fundamental studies in computer science : 6) |
Bijzonderheid: | 1978, 1e druk, 405 pp, gebonden, goed |
Prijs: |
€ 35,00
€ 3,00
|
Meer info | zuiver, nauwelijks gelezen exemplaar uit 1978, eerste druk, 405 pag., met references en index, lichte gebruikssporen op omslag en snede, licht verkleurd op pagina, in goede staat / clean, hardly used copy, fine, slightly discolored on page / ISSN 0167-8108 / ISBN 9780720425000 |
Boek bekijken |
Tweedehandsboeken van goede kwaliteit, c.q. modern antiquariaat; de aangeboden boeken zijn in goede toestand, tenzij anders aangegeven; het aanbod bestaat uit literatuur, politiek, pedagogiek, filosofie, kunst, reizen en economie + gespecialiseerde afgeschreven bibliotheekboeken. Verzendkosten naar Vlaanderen en omliggende Europese landen: 9.80 euro tot maximaal 2 kg.
De verkoper zal binnen 3 werkdagen contact met u opnemen om de koop verder af te handelen.