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… mais…
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… mais…
AbeBooks.de BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Custos de envio: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… mais…
BarnesandNoble.com new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio 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… mais…
Springer.com Nr. 978-0-7923-6473-3. Custos de envio: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 … mais…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Custos de envio: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… mais…
2000, ISBN: 0792364732
[EAN: 9780792364733], Neubuch, [PU: Springer Netherlands Aug 2000], LOGIK; PHILOSOPHIE / PROGRAMMIERSPRACHEN; AUTOMATEDDEDUCTION; LOGIC; MODALLOGIC; PROOFTHEORY, This item is printed on d… mais…
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… mais…
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… mais…
2000, ISBN: 0792364732
2000 Gebundene Ausgabe Logik, Philosophie / Logik, Programmiersprachen, Compiler und Übersetzer, automateddeduction; logic; modallogic; ProofTheory, mit Schutzumschlag 11, [PU:Springer … mais…
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Goal-Directed Proof Theory Dov M. Gabbay Author
EAN (ISBN-13): 9780792364733
ISBN (ISBN-10): 0792364732
Livro de capa dura
Livro de bolso
Ano de publicação: 2000
Editor/Editora: Springer Netherlands Core >2 >T
284 Páginas
Peso: 0,578 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-06-18T19:16:27-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-11-29T13:05:29-03:00 (Sao Paulo)
Número ISBN/EAN: 0792364732
Número ISBN - Ortografia alternativa:
0-7923-6473-2, 978-0-7923-6473-3
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: gabba, olivet, olivetti, dov gabbay
Título do livro: theory goal, the goal, olivetti, applied proof theory
Dados da editora
Autor: Dov M. Gabbay; N. Olivetti
Título: Applied Logic Series; Goal-Directed Proof Theory
Editora: Springer; Springer Netherland
268 Páginas
Ano de publicação: 2000-08-31
Dordrecht; NL
Língua: Inglês
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
X, 268 p.
BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; automated deduction; logic; modal logic; proof; proof theory; Logic; Compilers and Interpreters; Compiler und Übersetzer; BC
1 Introduction.- 2 Intuitionistic and Classical Logics.- 3 Intermediate Logics.- 4 Modal Logics of Strict Implication.- 5 Substructural Logics.- 6 Conclusions and Further Work.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9789401717137 Goal-Directed Proof Theory (Dov M. Gabbay/ N. Olivetti)
< Para arquivar...