Logic applications di nerode anil (42 risultati)
Lingua: Inglese
Editore: Springer, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: Textbooks_Source, Columbia, MO, U.S.A.Textbooks_Source
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 23,18
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Good. 2nd. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
Lingua: Inglese
Editore: Secaucus, New Jersey, U.S.A.: Springer Verlag, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Brossura
- Edizione Internazionale
Da: Sizzler Texts, SAN GABRIEL, CA, U.S.A.Sizzler Texts
Contatta il venditoreVenditore con 5 stelleEdizione InternazionaleCondizione: Nuovo
EUR 18,88
EUR 13,12 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Soft cover. Condizione: New. Condizione sovraccoperta: New. 2nd Edition. **International edition** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. Th…e book printed in black and white, generally send in twenty-four hours after the order confirmed. All shipments contain tracking numbers. Great professional textbook selling experience and expedite shipping service.
Lingua: Inglese
Editore: Springer, New York, NY, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Brossura
- Edizione Internazionale
Da: Aideo Books, San Marino, CA, U.S.A.Aideo Books
Contatta il venditoreVenditore con 5 stelleEdizione InternazionaleCondizione: Nuovo
EUR 27,01
EUR 8,73 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Trade paperback. Condizione: New in new dust jacket. 2nd ed. ***INTERNATIONAL EDITION*** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. The book pri…nted in black and white, generally send in twenty-four hours after the order confirmed. All shipments contain tracking numbers. Great professional textbook selling experience and expedite shipping service. Sewn binding. Cloth over boards. 469 p. Contains: Illustrations. Graduate Texts in Computer Science. Audience: General/trade.
Lingua: Inglese
Editore: Springer-Verlag New York Inc., New York, NY, 2012
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,12
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such ap…plications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem proving plays a major role in our treatment of logic especially in its application to Logic Programming and PRO LOG. We deal extensively with the mathematical foundations ofall three ofthese subjects. In addition, we include two chapters on nonclassical logics - modal and intuitionistic - that are becoming increasingly important in computer sci ence. We develop the basic material on the syntax and semantics (via Kripke frames) for each of these logics. In both cases, our approach to formal proofs, soundness and completeness uses modifications of the same tableau method in troduced for classical logic. We indicate how it can easily be adapted to various other special types of modal logics. A number of more advanced topics (includ ing nonmonotonic logic) are also briefly introduced both in the nonclassical logic chapters and in the material on Logic Programming and PROLOG. In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Lingua: Inglese
Editore: New York, Springer, 1993
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: Antiquariat Bookfarm, Löbnitz, GermaniaAntiquariat Bookfarm
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 16,95
EUR 40,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Hardcover. XVII, 365 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03830 3540941290 Sprache: Englisch Gewicht in Gramm: 550.
Lingua: Inglese
Editore: Springer, 2012
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 61,29
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Altre immagini- Rilegato
Da: avelibro OHG, Dinkelscherben, Germaniaavelibro OHG
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: BOEV
Condizione: Usato - Ottimo
EUR 57,80
EUR 10,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Auflage: 2001. XIV/430 Seiten Ausgetragenes Bibliotheksexemplar, Deckel mit leichten Gebrauchsspuren, seitlicher Schnitt mit Kulistrich B05-03-02B Sprache: Englisch Gewicht in Gramm: 785 8° 15,6 x 2,5 x 23,4 cm, Gebundene Ausgabe.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,56
EUR 14,10 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,56
EUR 14,10 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer, 2012
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,56
EUR 14,10 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer 1997-01-17, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,13
EUR 18,22 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Paperback. Condizione: New.
Lingua: Inglese
Editore: Springer Verlag, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: Recycle Bookstore, San Jose, CA, U.S.A.Recycle Bookstore
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Ottimo
EUR 80,22
EUR 5,03 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Fine. Pencil marks to two pages. otherwise book is as new.
- Rilegato
Da: Studibuch, Stuttgart, GermaniaStudibuch
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 21,32
EUR 62,30 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
hardcover. Condizione: Gut. 446 Seiten; 9780817642075.3 Gewicht in Gramm: 1.
Lingua: Inglese
Editore: Springer, 2012
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 84,02
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 476.
Lingua: Inglese
Editore: Springer, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: SHIMEDIA, Brooklyn, NY, U.S.A.SHIMEDIA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 90,13
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. Satisfaction Guaranteed or your money back.
Lingua: Inglese
Editore: Springer New York, 2012
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 47,23
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 84,14
EUR 14,71 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 1st edition. 430 pages. 9.50x6.50x1.25 inches. In Stock.
Lingua: Inglese
Editore: Springer, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 109,65
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
Altre immaginiLingua: Inglese
Editore: Springer, 2012
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,40
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Logic for Applications | Anil Nerode (u. a.) | Taschenbuch | Texts in Computer Science | xiii | Englisch | 2012 | Springer | EAN 9781461268550 | 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-Verlag New York Inc., New York, NY, 2012
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Brossura
Da: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 92,90
EUR 32,38 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such ap…plications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem proving plays a major role in our treatment of logic especially in its application to Logic Programming and PRO LOG. We deal extensively with the mathematical foundations ofall three ofthese subjects. In addition, we include two chapters on nonclassical logics - modal and intuitionistic - that are becoming increasingly important in computer sci ence. We develop the basic material on the syntax and semantics (via Kripke frames) for each of these logics. In both cases, our approach to formal proofs, soundness and completeness uses modifications of the same tableau method in troduced for classical logic. We indicate how it can easily be adapted to various other special types of modal logics. A number of more advanced topics (includ ing nonmonotonic logic) are also briefly introduced both in the nonclassical logic chapters and in the material on Logic Programming and PROLOG. In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Lingua: Inglese
Editore: Springer, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 116,87
EUR 17,65 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Condizione: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
Lingua: Inglese
Editore: Springer, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 148,11
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: DeckleEdge LLC, Albuquerque, NM, U.S.A.DeckleEdge LLC
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 150,50
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: new.
Lingua: Inglese
Editore: Springer New York, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 44,37
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 476 | Sprache: Englisch | Produktart: Bücher | In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus,… our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem proving plays a major role in our treatment of logic especially in its application to Logic Programming and PRO LOG. We deal extensively with the mathematical foundations ofall three ofthese subjects. In addition, we include two chapters on nonclassical logics - modal and intuitionistic - that are becoming increasingly important in computer sci ence. We develop the basic material on the syntax and semantics (via Kripke frames) for each of these logics. In both cases, our approach to formal proofs, soundness and completeness uses modifications of the same tableau method in troduced for classical logic. We indicate how it can easily be adapted to various other special types of modal logics. A number of more advanced topics (includ ing nonmonotonic logic) are also briefly introduced both in the nonclassical logic chapters and in the material on Logic Programming and PROLOG.
Lingua: Inglese
Editore: Springer New York, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 44,37
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 476 | Sprache: Englisch | Produktart: Bücher | In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus,… our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem proving plays a major role in our treatment of logic especially in its application to Logic Programming and PRO LOG. We deal extensively with the mathematical foundations ofall three ofthese subjects. In addition, we include two chapters on nonclassical logics - modal and intuitionistic - that are becoming increasingly important in computer sci ence. We develop the basic material on the syntax and semantics (via Kripke frames) for each of these logics. In both cases, our approach to formal proofs, soundness and completeness uses modifications of the same tableau method in troduced for classical logic. We indicate how it can easily be adapted to various other special types of modal logics. A number of more advanced topics (includ ing nonmonotonic logic) are also briefly introduced both in the nonclassical logic chapters and in the material on Logic Programming and PROLOG.
Lingua: Inglese
Editore: Springer, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 145,42
EUR 29,41 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Lingua: Inglese
Editore: Springer New York, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 124,20
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Gebunden. Condizione: New.
Lingua: Inglese
Editore: Springer, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 177,69
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer-Verlag New York Inc., New York, NY, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 184,94
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: new. Hardcover. This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: s…yntax, semantics, completeness, and compactness; much of the book deals with less traditional topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic - which are becoming increasingly important in computer science. No previous exposure to logic is assumed and so this will be suitable for upper level undergraduates or beginning graduate students in computer science or mathematics.From reviews of the first edition: ".must surely rank as one of the most fruitful textbooks introduced into computer science .We strongly suggest it as a textbook ." SIGACT News This is a first introduction to logic. Its emphasis is on showing how deduction may be viewed as computation and on applications to computer science. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Lingua: Inglese
Editore: Springer, 2012
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 153,90
EUR 29,41 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Like New. Like New. book.
