Wallen lincoln (6 risultati)
- Rilegato
- Prima edizione
Da: Row By Row Bookshop, Sugar Grove, NC, U.S.A.Row By Row Bookshop
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 31,13
EUR 4,32 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Good. No Dust Jacket. First Edition. An ex-library copy in original tan cloth lettered in gold. The usual ex-libris markings. The binding is sound, the text is clean/unmarked, and there is little cover wear. No dust jacket. Book.
- Brossura
Da: Kloof Booksellers & Scientia Verlag, Amsterdam, Paesi BassiKloof Booksellers & Scientia Verlag
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 16,95
EUR 30,00 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Condizione: very good. Cambridge, Mass. : MIT Press, 1990. Hardcover. Dustjacket. 239 pp. Library stamp. This book develops and demonstrates efficient matrix proof methods for automated deduction within an important and comprehensive class of first order and intuitionistic logics. Traditional techniques for the design of efficie…nt proof systems are abstracted from their original setting which allows their application to a wider class of mathematical logic. The logics discussed are used throughout computer science and artificial intelligence. Contents: Introduction I. Automated Deduction in Classical Logic. Proof search in classical sequent calculi. A matrix characterization of classical validity. II. Automated Proof Deduction in Modal Logics. The semantics and proof theory of modal logics. Proof search in modal sequent calculi. Matrix characterizations of modal validity. Alternative proof methods for modal logics. Matrix based proof search. III. Automated Deduction in Intuitionistic Logic. A Matrix proof method. Conclusions. Condition : very good copy. ISBN 9780262231442. Keywords : COMPUTER SCIENCE, artificial intelligence (AI) Logic (Symbolic and mathematical) Logic programming.
- Brossura
Da: True Oak Books, Highland, NY, U.S.A.True Oak Books
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: IOBA
Condizione: Usato - Buono
EUR 74,66
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Good+. Symbolic Computation; 150 pages; fading to pages. Light rubbing to the covers. Ex-Library copy with usual identifiers. Good condition otherwise. No other noteworthy defects. No markings on text pages. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries.… Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
- Brossura
Da: Kloof Booksellers & Scientia Verlag, Amsterdam, Paesi BassiKloof Booksellers & Scientia Verlag
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 44,95
EUR 30,00 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Condizione: as new. Cambridge, MA.: The MIT Press, 1990. Hardcover. Dustjacket. xv,239 pp. - This book develops and demonstrates efficient matrix proof methods for automated deduction within an important and comprehensive class of first order and intuitionistic logics. Traditional techniques for the design of efficient proof sys…tems are abstracted from their original setting which allows their application to a wider class of mathematical logic. The logics discussed are used throughout computer science and artificial intelligence. Contents: Introduction I. Automated Deduction in Classical Logic. Proof search in classical sequent calculi. A matrix characterization of classical validity. II. Automated Proof Deduction in Modal Logics. The semantics and proof theory of modal logics. Proof search in modal sequent calculi. Matrix characterizations of modal validity. Alternative proof methods for modal logics. Matrix based proof search. III. Automated Deduction in Intuitionistic Logic. A Matrix proof method. Conclusions. Condition : as new copy. ISBN 9780262231442. Keywords : PHILOSOPHY.
Editore: The Mit Press, 1990
Da: Librodifaccia, Alessandria, AL, ItaliaLibrodifaccia
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 12,80
EUR 27,90 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Buone. inglese Condizioni dell'esterno: Discrete con difetti, strappi Condizioni dell'interno: Buone.
Editore: MIT, Cambridge, Massachusetts , London, 1990
- Rilegato
Da: The Book Gallery, Jerusalem, IsraeleThe Book Gallery
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 57,81
EUR 51,00 spedizioneSpedito da Israele a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello235x180 mm. 239 pages. Hardcover with nylon jacket. in good condition. The book is in : English.
