9780273087816 - automated theorem-proving in non-classical logics (research notes in theoretical computer science) von thistlewaite, paul b.; mcrobbie, michael a.; meyer, robert k. (4 Ergebnisse)
- Softcover
Anbieter: ThriftBooks-Dallas, Dallas, TX, USAThriftBooks-Dallas
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Ausreichend
EUR 16,81
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
- Softcover
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USAZubal-Books, Since 1961
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 24,23
EUR 3,88 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Very Good. 154 pp., paperback, very good. - 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.
- Softcover
Anbieter: Antiquariat Haufe & Lutz, Karlsruhe, BW, DeutschlandAntiquariat Haufe & Lutz
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 25,00
EUR 47,99 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
8°. 154 S. mit graphischen Darstellungen. OKart. (Research notes in theoretical computer science). Gutes Exemplar. Sprache: englisch.
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Thistlewaite, Paul B., Michael A. McRobbie and Robert K. Meyer:
- Softcover
Anbieter: NEPO UG, Rüsselsheim am Main, , DeutschlandNEPO UG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 116,60
EUR 24,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Gut. 154 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 248 23,9 x 16,8 x 1,0 cm, Taschenbuch.
