Logic for Computer Science: Foundations of Automatic Theorem Proving

Valutazione media 4,5
( su 2 valutazioni fornite da GoodReads )
 
9780486780825: Logic for Computer Science: Foundations of Automatic Theorem Proving

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 foundations of automatic theorem proving. 2003 edition.

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.
Editore: Dover Pubns (2015)
ISBN 10: 0486780821 ISBN 13: 9780486780825
Nuovi Quantità: > 20
Da
Paperbackshop-US
(Commerce, GA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Pubns, 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 15,57
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,70
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 16,85
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,45
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 17,63
Convertire valuta

Aggiungere al carrello

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

4.

Jean Gallier
Editore: Dover Publications Inc. (2014)
ISBN 10: 0486780821 ISBN 13: 9780486780825
Nuovi Quantità: 1
Da
PBShop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., 2014. 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 19,43
Convertire valuta

Aggiungere al carrello

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

5.

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. 231 x 155 mm. 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 23,56
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: 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. 231 x 155 mm. 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 23,73
Convertire valuta

Aggiungere al carrello

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

7.

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. Codice libro della libreria 0486780821

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 22,68
Convertire valuta

Aggiungere al carrello

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

8.

Gallier, Jean H.
Editore: Dover Publications
ISBN 10: 0486780821 ISBN 13: 9780486780825
Nuovi PAPERBACK Quantità: 1
Da
Movie Mars
(Indian Trail, NC, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications. PAPERBACK. Condizione libro: New. 0486780821 Brand New Book. Ships from the United States. 30 Day Satisfaction Guarantee!. Codice libro della libreria 17045386

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 22,67
Convertire valuta

Aggiungere al carrello

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

9.

Jean H. Gallier
ISBN 10: 0486780821 ISBN 13: 9780486780825
Nuovi Paperback Quantità: 1
Da
Grand Eagle Retail
(Wilmington, DE, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: New. 2nd. 155mm x 25mm x 231mm. Paperback. 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 .Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 528 pages. 0.703. Codice libro della libreria 9780486780825

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 28,94
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

10.

Gallier, Jean H.
Editore: Dover Publications (2015)
ISBN 10: 0486780821 ISBN 13: 9780486780825
Nuovi Paperback Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications, 2015. Paperback. Condizione libro: New. book. Codice libro della libreria 0486780821

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 30,79
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro