ISBN: 9780792364733
[ED: Buch], [PU: Springer Netherlands], Neuware - Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance o… Altro …
booklooker.de |
2000, ISBN: 0792364732
[EAN: 9780792364733], Neubuch, [PU: Springer Netherlands Aug 2000], LOGIK; PHILOSOPHIE / PROGRAMMIERSPRACHEN; AUTOMATEDDEDUCTION; LOGIC; MODALLOGIC; PROOFTHEORY, This item is printed on d… Altro …
AbeBooks.de BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9780792364733
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledg… Altro …
BarnesandNoble.com new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
ISBN: 9780792364733
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledg… Altro …
Springer.com Nr. 978-0-7923-6473-3. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00) Details... |
2000, ISBN: 0792364732
2000 Gebundene Ausgabe Logik, Philosophie / Logik, Programmiersprachen, Compiler und Übersetzer, automateddeduction; logic; modallogic; ProofTheory, mit Schutzumschlag 11, [PU:Springer … Altro …
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9780792364733
[ED: Buch], [PU: Springer Netherlands], Neuware - Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance o… Altro …
2000, ISBN: 0792364732
[EAN: 9780792364733], Neubuch, [PU: Springer Netherlands Aug 2000], LOGIK; PHILOSOPHIE / PROGRAMMIERSPRACHEN; AUTOMATEDDEDUCTION; LOGIC; MODALLOGIC; PROOFTHEORY, This item is printed on d… Altro …
ISBN: 9780792364733
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledg… Altro …
ISBN: 9780792364733
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledg… Altro …
2000, ISBN: 0792364732
2000 Gebundene Ausgabe Logik, Philosophie / Logik, Programmiersprachen, Compiler und Übersetzer, automateddeduction; logic; modallogic; ProofTheory, mit Schutzumschlag 11, [PU:Springer … Altro …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Goal-Directed Proof Theory Dov M. Gabbay Author
EAN (ISBN-13): 9780792364733
ISBN (ISBN-10): 0792364732
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2000
Editore: Springer Netherlands Core >2 >T
284 Pagine
Peso: 0,578 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2007-06-19T00:16:27+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-11-29T17:05:29+01:00 (Zurich)
ISBN/EAN: 0792364732
ISBN - Stili di scrittura alternativi:
0-7923-6473-2, 978-0-7923-6473-3
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : gabba, olivet, olivetti, dov gabbay
Titolo del libro: theory goal, the goal, olivetti, applied proof theory
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9789401717137 Goal-Directed Proof Theory (Dov M. Gabbay/ N. Olivetti)
< Per archiviare...