Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar
Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Computational Logic and Proof Theory

Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Computational Logic and Proof Theory Georg Gottlob
Código Libristo: 05274334
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 1993
The Third Kurt G del Symposium, KGC'93, held in Brno, Czech§Republic, August1993, is the third in a... Descrição completa
? points 111 b
46.06 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Paracuellos CARLOS GIMENEZ / Livro Livro de capa dura
common.buy 50.62 €
Qal‘at Sem‘an, volume IV : rapport final, fascicule 3 : les objets métalliques Michel / Livro Livro de capa dura
common.buy 21.86 €
Las tres puertas Raquel Ortega / Livro Capa mole
common.buy 30.77 €
La régression PLS - théorie et pratique Tenenhaus / Livro Capa mole
common.buy 47.28 €
USAGES ET IMAGES DE L ARGENT. DANS L OUEST ATLANTIQUE AUX TEMPS MODERNES LE PAGE / Livro Capa mole
common.buy 20.85 €
Rakkauden oppi Jorma Etto / E-book Adobe ePub DRM
common.buy 7.99 €
Theatre Complet Emile Augier / Livro Capa mole
common.buy 23.79 €
Lighting Martinez Alonso / Livro Livro de capa dura
common.buy 9.61 €
Reset Eypio / Áudio CD de áudio
common.buy 10.12 €
Der kleine Maulwurf Spielzeugkoffer Pappkoffer gelb medium, Kinderkoffer Trötsch Verlag / Jogo/brinquedo Brinquedo
common.buy 9.10 €
Der Heptameron: Die Erzählungen der Königin von Navarra Margarete Von Navarra / Livro Capa mole
common.buy 16.29 €
Koniasz Tom 3 Wilk samotnik Zamboch Miroslav / Livro Capa mole
common.buy 11.64 €
Noragami. Bd.11 Adachitoka / Livro Capa mole
common.buy 7.48 €
Liebesgeschichten neu erzählen Pat Hudson / Livro Capa mole
common.buy 18.52 €
Jazz Club Klavier Andy Mayerl / Artigos impressos Partituras
common.buy 17.61 €
WAS IST WAS Hörspiel: Welt der Piraten / Schiffe, 1 Audio-CD Matthias Falk / Áudio CD de áudio
common.buy 7.99 €
Sponsoring des Golfsports in Deutschland Daniel Gronen / Livro Capa mole
common.buy 58.22 €

The Third Kurt G del Symposium, KGC'93, held in Brno, Czech§Republic, August1993, is the third in a series of biennial§symposia on logic, theoretical computer science, and§philosophy of mathematics. The aim of this meeting wasto§bring together researchers working in the fields of§computational logic and proof theory. While proof theory§traditionally is a discipline of mathematical logic, the§central activity in computational logic can be foundin§computer science. In both disciplines methods were invented§which arecrucial to one another. This volume contains the§proceedings of the symposium. It contains contributions by§36 authors from 10 different countries. In addition to 10§invited papers there are 26 contributed papers selected from§over 50 submissions.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Computational Logic and Proof Theory
Autor Georg Gottlob, Alexander Leitsch, Daniele Mundici
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1993
Número de páginas 354
EAN 9783540571841
ISBN 3540571841
Código Libristo 05274334
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1160
Dimensões 216 x 279 x 20

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
Matemática & ciência > Matemática > Filosofia da matemática
Matemática & ciência > Ciência: generalidades > Filosofia da ciência
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Informática & tecnologia da informação > Programação & engenharia informática
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Demography Through Problems Nathan Keyfitz / Livro Livro de capa dura
common.buy 46.06 €
Mirror Mirror Eric J. Burton / Livro Capa mole
common.buy 5.36 €
Crystal Growth Technology T. Ohachi / Livro Livro de capa dura
common.buy 266.82 €
Peer-to-Peer Systems II M. Frans Kaashoek / Livro Capa mole
common.buy 46.06 €
Pay: God Light Marcia Batiste / Livro Capa mole
common.buy 5.26 €
Beside the Muezzin's Call & Beyond the Harem's Veil Saba Syed Razvi / Livro Capa mole
common.buy 13.36 €
Collection of Antique Asian Puppetry Rick Jordan / Livro Capa mole
common.buy 74.42 €
Resistance Band Workouts; A Quick and Convenient Solution to Getting Fit, Improving Strength, and Building Muscle While at Home or Traveling Colin Johnson / Livro Capa mole
common.buy 12.85 €
Interagency Fratricide - Policy Failures in the Persian Gulf and Bosnia Maj Vicki J Rast / Livro Capa mole
common.buy 14.88 €
Two Cures for Love Wendy Cope / E-book Adobe ePub DRM
common.buy 7.58 €
Imagining India as a Global Power Sangit K. Ragi / Livro Livro de capa dura
common.buy 204.03 €
Revolutionary Yiddishland Alain Brossat / Livro Capa mole
common.buy 12.85 €
Landscapes and Landforms of the Lesser Antilles Casey D. Allen / Livro Livro de capa dura
common.buy 156.14 €
Research Methods for the Architectural Profession Aksamija / Livro Capa mole
common.buy 39.28 €
Phase Transformation and Properties Xun Cai / Livro Capa mole
common.buy 58.82 €
Methyl Chloroform and Trichloroethylene in the Environment AVIADO / Livro Livro de capa dura
common.buy 200.89 €
Principal
The Laws of Human Nature Robert Greene / Livro Capa mole
common.buy 16.19 €
Present State of All Nations. Containing a Geographical, Natural, Commercial, and Political History of All the Countries in the Known World. ... of 8; Anonymous / Livro Livro de capa dura
common.buy 33.51 €
Psychology of Great Teaching Casper Hulshof / Livro Capa mole
common.buy 35.53 €
Anthroposophy: An Introduction: Supplemental Materials Frederick Amrine / Livro Capa mole
common.buy 8.70 €
Red Mars Kim Stanley Robinson / Livro Capa mole
common.buy 12.75 €
Stress Management Monique Joiner Siedlak / Livro Capa mole
common.buy 8.80 €
Rose and Witch and Other Stories Mimei Ogawa / Livro Capa mole
common.buy 18.12 €
Japan's Aging Peace Tom Phuong Le / Livro Capa mole
common.buy 41.20 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?