Pierre wolper (8 Ergebnisse)
From Standard Logic to Logic Programming Introducing a Logic Based Approach to Artificial Intelligence
Paul Gochet And Eric Gr & Eacute; Goire And Pascal Gribomont And Guy Hulin And Alain Pirotte And Dominique Roelants And Dominique Snyers And Andr & Eacute; Thayse And Marc Vauclair And Pierre Wolper
- Softcover
Anbieter: True Oak Books, Highland, NY, USATrue Oak Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: IOBA
Zustand: Gebraucht - Befriedigend
EUR 18,45
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Good+. Foxing to exterior edge of pages. Spill stain to edge of pages. - Great overall condition. Minor cosmetic wear. No noteworthy blemishes. No writing.; - We offer free returns for any reason and respond promptly to all inquiries. Your order will be packaged with care and ship on the same or next business day. Buy with confidence.…
- Softcover
Anbieter: Bahamut Media, Reading, Vereinigtes KönigreichBahamut Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 16,10
EUR 8,38 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
- Softcover
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USAZubal-Books, Since 1961
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 37,65
EUR 4,03 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, Nov. 2 (weekend sale item)* 451 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…
From Standard Logic to Logic Programming: Introducing a Logic-based Approach to Artificial Intelligence
Paul Gochet; Eric Grégoire; Pascal Gribomont; Guy Hulin; Alain Pirotte; Dominique Roelants; Dominique Snyers; André Thayse; Marc Vauclair; Pierre Wolper
- Softcover
Anbieter: Fireside Bookshop, Stroud, GLOS, Vereinigtes KönigreichFireside Bookshop
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: PBFA
Zustand: Gebraucht - Befriedigend
EUR 12,36
EUR 30,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Good. Zustand des Schutzumschlags: No d/j as Published. Type: Book Small plain label inside cover.
From Modal Logic to Deductive Databases: Introducing a Logic Based Approach to Artificial Intelligence
Paul Gochet; Eric Grégoire; Pascal Gribomont; Guy Hulin; Alain Pirotte; Dominique Roelants; Dominique Snyers; André Thayse; Marc Vauclair; Pierre Wolper
- Softcover
Anbieter: ThriftBooks-Dallas, Dallas, TX, USAThriftBooks-Dallas
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 45,79
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
From Modal Logic to Deductive Databases: Introducing a Logic Based Approach to Artificial Intelligence
Paul Gochet; Eric Grégoire; Pascal Gribomont; Guy Hulin; Alain Pirotte; Dominique Roelants; Dominique Snyers; André Thayse; Marc Vauclair; Pierre Wolper
- Softcover
Anbieter: ThriftBooks-Dallas, Dallas, TX, USAThriftBooks-Dallas
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 45,79
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Kartoniert / Broschiert. Zustand: New.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 66,40
EUR 35,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995.The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations. Beyond finite-state systems, real-time systems and hybrid systems are an important part of the conference.…
