9780387948935 - logic for applications di nerode, anil; shore, richard a. (22 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,23
EUR 3,50 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,93
EUR 13,15 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,07
EUR 8,75 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, 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,40
EUR 5,04 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Fine. Pencil marks to two pages. otherwise book is as 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: SHIMEDIA, Brooklyn, NY, U.S.A.SHIMEDIA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 90,32
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. Satisfaction Guaranteed or your money back.
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,89
EUR 2,32 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.
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,55
EUR 17,60 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,44
EUR 2,32 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,83
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,02
EUR 29,33 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,19
EUR 2,32 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 185,34
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, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 207,66
EUR 3,50 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 476 2nd Edition.
Lingua: Inglese
Editore: Springer New York, Springer New York, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 153,90
EUR 64,38 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 h…as 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 Verlag, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 227,12
EUR 14,67 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 2nd edition. 456 pages. 9.75x7.50x1.00 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
- Print on Demand
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 131,40
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
Lingua: Inglese
Editore: Springer, Springer Jan 1997, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 149,79
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 choic…e 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 476 pp. Englisch.
Lingua: Inglese
Editore: Springer, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 218,58
EUR 7,63 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 476 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Lingua: Inglese
Editore: Springer, 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 216,78
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 476.
