2000, ISBN: 3540671900
[EAN: 9783540671909], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], BEGRÜNDUNG / BEWEIS; INTELLIGENZ KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE CLASSICALLOGIC; MODALLOGI… mais…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783540671909
This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.F… mais…
BarnesandNoble.com new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio Details... |
1998, ISBN: 9783540671909
This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.F… mais…
BetterWorldBooks.com used in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio Details... |
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science, 1761) - Livro de bolso
2000, ISBN: 9783540671909
Springer, 2000-02-09. Paperback. New. New. In shrink wrap. Looks like an interesting title!, Springer, 2000-02-09, 6
Biblio.co.uk |
2000, ISBN: 9783540671909
Trade paperback, New., Trade paperback (US). Glued binding. 304 p., Berlin, Heidelberg, [PU: Springer]
alibris.co.uk |
2000, ISBN: 3540671900
[EAN: 9783540671909], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], BEGRÜNDUNG / BEWEIS; INTELLIGENZ KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE CLASSICALLOGIC; MODALLOGI… mais…
ISBN: 9783540671909
This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.F… mais…
1998
ISBN: 9783540671909
This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.F… mais…
no/na Biblio.co.uk
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science, 1761) - Livro de bolso
2000, ISBN: 9783540671909
Springer, 2000-02-09. Paperback. New. New. In shrink wrap. Looks like an interesting title!, Springer, 2000-02-09, 6
2000, ISBN: 9783540671909
Trade paperback, New., Trade paperback (US). Glued binding. 304 p., Berlin, Heidelberg, [PU: Springer]
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Automated Deduction in Classical and Non-Classical Logics: Selected Papers Ricardo Caferra Editor
EAN (ISBN-13): 9783540671909
ISBN (ISBN-10): 3540671900
Livro de capa dura
Livro de bolso
Ano de publicação: 2000
Editor/Editora: Springer Berlin Heidelberg Core >1
312 Páginas
Peso: 0,474 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-01-02T04:29:57-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-10-10T02:09:03-03:00 (Sao Paulo)
Número ISBN/EAN: 9783540671909
Número ISBN - Ortografia alternativa:
3-540-67190-0, 978-3-540-67190-9
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: caf, salzer, ricardo, gernot, siekmann
Título do livro: deduction, classical papers, class, 1001 classical, deductio, non classical logic, what logics mean, lecture notes artificial intelligence, computer, classical and nonclassical logics
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783540465089 Automated Deduction in Classical and Non-Classical Logics (Ricardo Caferra; Gernot Salzer)
< Para arquivar...