The Efficiency of Theorem Proving Strategies | A Comparative and Asymptotic Analysis. Questo articolo non è disponibile.
Lingua: inglese
Editore: Vieweg+Teubner Verlag, 1999
- Brossura
- Nuovo
Immagine dell’articolo 1 di 2
Da: preigu, Osnabrück, Germaniapreigu
Venditore con 5 stelle
Venditore AbeBooks dal 5 agosto 2024
Non disponibile
Brossura
Condizione: Nuovo
EUR 49,85
Descrizione dell’articolo da parte del venditore
The Efficiency of Theorem Proving Strategies | A Comparative and Asymptotic Analysis | David A. Plaisted (u. a.) | Taschenbuch | Computational Intelligence | Einband - flex.(Paperback) | Englisch | 1999 | Vieweg+Teubner Verlag | EAN 9783528155742 | Verantwortliche Person für die EU: Vieweg+Teubner Verlag, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, productsafety[at]springernature[dot]com | Anbieter: preigu.
Codice articolo 106578161
- Titolo
- The Efficiency of Theorem Proving Strategies | A Comparative and Asymptotic Analysis
- Autore
- David A. Plaisted (u. a.)
- Editore
- Vieweg+Teubner Verlag
- Anno di pubblicazione
- 1999
- Condizione
- Neu
- Rilegatura
- Taschenbuch
- Lingua
- inglese
- ISBN 10
- 3528155744
- ISBN 13
- 9783528155742
- Edizione
- seconda edizione
- Peso dell'articolo
- 246 grammi
- Dimensioni
- 210 x 148 x 11 mm
- Serie
- Libro 27 di 27: Computational Intelligence
- Cataloghi dei venditori
- Bücher
A Comparative and Asymptotic Analysis
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Informazioni sull’autore
David A. Plaisted ist seit 1984 Professor am Fachbereich Informatik der University of North Carolina. Seine gegenwärtigen Forschungen umfassen automatisches Theorembeweisen, Termersetzungssysteme sowie funktionale und Logikprogrammierung.
Yunshan Zhu ist Mitarbeiter am selben Fachbereich der UNC. Sein Forschungsinteresse gilt dem automatischen Theorembeweisen, formalen Methoden und logikbasierten Methoden der Künstlichen Intelligenz.
Since 1984 David A. Plaisted is professor in the Department of Computer Science at the University of North Carolina. His current interests include theorem proving, term-rewriting systems and logic and functional programming.
Yunshan Zhu also is a member of the Department of Computer Science at the University of North Carolina. Zhu's current research interests include theorem proving, formal methods and logical approaches of Artificial Intelligence.
Yunshan Zhu ist Mitarbeiter am selben Fachbereich der UNC. Sein Forschungsinteresse gilt dem automatischen Theorembeweisen, formalen Methoden und logikbasierten Methoden der Künstlichen Intelligenz.
Since 1984 David A. Plaisted is professor in the Department of Computer Science at the University of North Carolina. His current interests include theorem proving, term-rewriting systems and logic and functional programming.
Yunshan Zhu also is a member of the Department of Computer Science at the University of North Carolina. Zhu's current research interests include theorem proving, formal methods and logical approaches of Artificial Intelligence.
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.
Risultati della ricerca per The Efficiency of Theorem Proving Strategies | A Comparative and Asymptotic Analysis
Ci sono altre 10 copie di questo libroVisualizza tutti i risultati