ISBN: 9783540102311 - using sophisticated models in resolution theorem proving: 90 (9 risultati)

di David M. Sandford
ISBN: 
Perfeziona con la Ricerca avanzata

Perfeziona la tua ricerca

  • Libri (9)

a

Fascia di prezzo personalizzata (EUR)

a

  • Lingua: Inglese

    Editore: Springer, 1980

    3540102310 / 9783540102311

    • Brossura

    Da: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Molto buono

    EUR 14,41

    EUR 6,23 spedizione 
    Spedito in U.S.A.

    Quantità: 1 disponibile

    Paperback. Condizione: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

  • Lingua: Inglese

    Editore: Springer, 1980

    3540102310 / 9783540102311

    • Brossura

    Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Come nuovo

    EUR 63,54

    EUR 2,35 spedizione 
    Spedito in U.S.A.

    Quantità: 15 disponibili

    Condizione: As New. Unread book in perfect condition.

  • Lingua: Inglese

    Editore: Springer, 1980

    3540102310 / 9783540102311

    • Brossura

    Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 64,24

    EUR 2,35 spedizione 
    Spedito in U.S.A.

    Quantità: 15 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: Springer, 1980

    3540102310 / 9783540102311

    • Brossura

    Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 66,40

    EUR 35,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 1 disponibile

    Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.

  • Altre immagini

    Lingua: Inglese

    Editore: Springer, 1980

    3540102310 / 9783540102311

    • Brossura

    Da: preigu, Osnabrück, Germaniapreigu

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 50,45

    EUR 70,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 5 disponibili

    Taschenbuch. Condizione: Neu. Using Sophisticated Models in Resolution Theorem Proving | David M. Sandford | Taschenbuch | xi | Englisch | 1980 | Springer | EAN 9783540102311 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

  • Lingua: Inglese

    Editore: Springer 1980-08, 1980

    3540102310 / 9783540102311

    • Brossura
    • Print on Demand

    Da: Chiron Media, Wallingford, Regno UnitoChiron Media

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 58,86

    EUR 5,98 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 20 disponibili

    PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

  • Lingua: Inglese

    Editore: Springer Berlin Heidelberg, Springer Aug 1980, 1980

    3540102310 / 9783540102311

    • Brossura
    • Print on Demand

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 53,49

    EUR 23,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR. 260 pp. Englisch.

  • Lingua: Inglese

    Editore: Springer Berlin Heidelberg, 1980

    3540102310 / 9783540102311

    • Brossura
    • Print on Demand

    Da: moluna, Greven, Germaniamoluna

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 48,37

    EUR 48,99 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.Inhaltsverzeichnis1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5.…

  • Lingua: Inglese

    Editore: Springer, Springer Aug 1980, 1980

    3540102310 / 9783540102311

    • Brossura
    • Print on Demand

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 53,49

    EUR 60,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 1 disponibile

    Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 260 pp. Englisch.