Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)

Valutazione media 4,5
( su 2 valutazioni fornite da Goodreads )
 
9780486780825: Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving.
Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Gallier, Jean H.
ISBN 10: 0486780821 ISBN 13: 9780486780825
Nuovi Quantità: > 20
Da
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro 2015. PAP. Condizione libro: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Codice libro della libreria V0-9780486780825

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 14,35
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,38
In U.S.A.
Destinazione, tempi e costi

2.

Jean Gallier, Jean Gallier
ISBN 10: 0486780821 ISBN 13: 9780486780825
Nuovi Quantità: 5
Da
GreatBookPrices
(Columbia, MD, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Codice libro della libreria 21566788-n

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 15,52
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,23
In U.S.A.
Destinazione, tempi e costi

3.

Gallier, Jean H
Editore: Dover Publishers
ISBN 10: 0486780821 ISBN 13: 9780486780825
Nuovi Quantità: > 20
Da
INDOO
(Avenel, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publishers. Condizione libro: New. Brand New. Codice libro della libreria 0486780821

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 16,10
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,96
In U.S.A.
Destinazione, tempi e costi

4.

Gallier, Jean H.
ISBN 10: 0486780821 ISBN 13: 9780486780825
Nuovi Paperback Quantità: 2
Da
BargainBookStores
(Grand Rapids, MI, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: New. Codice libro della libreria 8229573

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 16,52
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,38
In U.S.A.
Destinazione, tempi e costi

5.

Gallier, Jean H.
ISBN 10: 0486780821 ISBN 13: 9780486780825
Nuovi Quantità: 6
Da
Pbshop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro 2015. PAP. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Codice libro della libreria IB-9780486780825

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 16,98
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,38
In U.S.A.
Destinazione, tempi e costi

6.

Jean Gallier
Editore: Dover Publications Inc., United States (2015)
ISBN 10: 0486780821 ISBN 13: 9780486780825
Nuovi Paperback Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., United States, 2015. Paperback. Condizione libro: New. 2nd Revised edition. Language: English . Brand New Book. This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen s cut elimination theorem and applications, and Gentzen s sharpened Hauptsatz and Herbrand s theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information. Codice libro della libreria AAC9780486780825

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 21,51
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

Jean Gallier
Editore: Dover Publications Inc., United States (2015)
ISBN 10: 0486780821 ISBN 13: 9780486780825
Nuovi Paperback Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., United States, 2015. Paperback. Condizione libro: New. 2nd Revised edition. Language: English . Brand New Book. This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen s cut elimination theorem and applications, and Gentzen s sharpened Hauptsatz and Herbrand s theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information. Codice libro della libreria AAC9780486780825

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 21,62
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

8.

Gallier, Jean H.
Editore: Dover Publications
ISBN 10: 0486780821 ISBN 13: 9780486780825
Nuovi PAPERBACK Quantità: > 20
Da
Mediaoutlet12345
(Springfield, VA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications. PAPERBACK. Condizione libro: New. 0486780821 *BRAND NEW* Ships Same Day or Next!. Codice libro della libreria NATARAJB1FI1001508

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 18,40
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,38
In U.S.A.
Destinazione, tempi e costi

9.

Gallier, Jean H.
Editore: Dover Publications (2015)
ISBN 10: 0486780821 ISBN 13: 9780486780825
Nuovi Paperback Quantità: 1
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications, 2015. Paperback. Condizione libro: New. Never used!. Codice libro della libreria 0486780821

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 20,97
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 1,68
In U.S.A.
Destinazione, tempi e costi

10.

Jean Gallier
Editore: Dover Publications Inc., United States (2015)
ISBN 10: 0486780821 ISBN 13: 9780486780825
Nuovi Paperback Quantità: 10
Da
Book Depository hard to find
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., United States, 2015. Paperback. Condizione libro: New. 2nd Revised edition. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen s cut elimination theorem and applications, and Gentzen s sharpened Hauptsatz and Herbrand s theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information. Codice libro della libreria BTE9780486780825

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 24,85
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro