Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Computational Logic and Proof Theory

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

Lingua IngleseInglese
Libro In brossura
Libro Computational Logic and Proof Theory Georg Gottlob
Codice Libristo: 05274334
Casa editrice 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... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Paracuellos CARLOS GIMENEZ / Libro Rigido
common.buy 33.09 €
USAGES ET IMAGES DE L ARGENT. DANS L OUEST ATLANTIQUE AUX TEMPS MODERNES LE PAGE / Libro In brossura
common.buy 25.99 €
Qal‘at Sem‘an, volume IV : rapport final, fascicule 3 : les objets métalliques Michel / Libro Rigido
common.buy 27.29 €
Sponsoring des Golfsports in Deutschland Daniel Gronen / Libro In brossura
common.buy 68.99 €
Rakkauden oppi Jorma Etto / Libro elettronico Adobe ePub DRM
common.buy 9.69 €
Las tres puertas Raquel Ortega / Libro In brossura
common.buy 34.49 €
La régression PLS - théorie et pratique Tenenhaus / Libro In brossura
common.buy 55.99 €
Theatre Complet Emile Augier / Libro In brossura
common.buy 28.79 €
WAS IST WAS Hörspiel: Welt der Piraten / Schiffe, 1 Audio-CD Matthias Falk / Audio CD audio
common.buy 9.79 €
Jazz Club Klavier Andy Mayerl / Pubblicazioni cartacee Note
common.buy 21.19 €
Lighting Martinez Alonso / Libro Rigido
common.buy 11.59 €
Liebesgeschichten neu erzählen Pat Hudson / Libro In brossura
common.buy 22.69 €
Reset Eypio / Audio CD audio
common.buy 11.59 €
Der kleine Maulwurf Spielzeugkoffer Pappkoffer gelb medium, Kinderkoffer Trötsch Verlag / Gioco/giocattolo Giocattolo
common.buy 11.29 €
Der Heptameron: Die Erzählungen der Königin von Navarra Margarete Von Navarra / Libro In brossura
common.buy 19.99 €
Koniasz Tom 3 Wilk samotnik Zamboch Miroslav / Libro In brossura
common.buy 14.59 €
Noragami. Bd.11 Adachitoka / Libro In brossura
common.buy 9.39 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Computational Logic and Proof Theory
Autore Georg Gottlob, Alexander Leitsch, Daniele Mundici
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1993
Numero di pagine 354
EAN 9783540571841
ISBN 3540571841
Codice Libristo 05274334
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1160
Dimensioni 216 x 279 x 20

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Matematica e Scienze > Matematica > Filosofia della matematica
Matematica e Scienze > Scienza: argomenti di interesse generale > Filosofia della scienza
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Demography Through Problems Nathan Keyfitz / Libro Rigido
common.buy 53.79 €
Mirror Mirror Eric J. Burton / Libro In brossura
common.buy 6.59 €
Crystal Growth Technology T. Ohachi / Libro Rigido
common.buy 304.59 €
Peer-to-Peer Systems II M. Frans Kaashoek / Libro In brossura
common.buy 53.79 €
Pay: God Light Marcia Batiste / Libro In brossura
common.buy 6.49 €
I migliori
The Laws of Human Nature Robert Greene / Libro In brossura
common.buy 19.99 €
Methyl Chloroform and Trichloroethylene in the Environment AVIADO / Libro Rigido
common.buy 231.49 €
Phase Transformation and Properties Xun Cai / Libro In brossura
common.buy 75.99 €
Beside the Muezzin's Call & Beyond the Harem's Veil Saba Syed Razvi / Libro In brossura
common.buy 16.09 €
Collection of Antique Asian Puppetry Rick Jordan / Libro In brossura
common.buy 89.79 €
Interagency Fratricide - Policy Failures in the Persian Gulf and Bosnia Maj Vicki J Rast / Libro In brossura
common.buy 18.19 €
Official Guide to PTE Academic Barraclough / Libro Rigido
common.buy 60.49 €
Revolutionary Yiddishland Alain Brossat / Libro In brossura
common.buy 16.49 €
Landscapes and Landforms of the Lesser Antilles Casey D. Allen / Libro Rigido
common.buy 182.19 €
Imagining India as a Global Power Sangit K. Ragi / Libro Rigido
common.buy 242.59 €
Present State of All Nations. Containing a Geographical, Natural, Commercial, and Political History of All the Countries in the Known World. ... of 8; Anonymous / Libro Rigido
common.buy 40.69 €
Stress Management Monique Joiner Siedlak / Libro In brossura
common.buy 10.69 €
Rose and Witch and Other Stories Mimei Ogawa / Libro In brossura
common.buy 21.99 €
Japan's Aging Peace Tom Phuong Le / Libro In brossura
common.buy 48.19 €
Research Methods for the Architectural Profession Aksamija / Libro In brossura
common.buy 45.29 €
Red Mars Kim Stanley Robinson / Libro In brossura
common.buy 16.09 €
Anthroposophy: An Introduction: Supplemental Materials Frederick Amrine / Libro In brossura
common.buy 10.69 €
Psychology of Great Teaching Casper Hulshof / Libro In brossura
common.buy 41.29 €
Resistance Band Workouts; A Quick and Convenient Solution to Getting Fit, Improving Strength, and Building Muscle While at Home or Traveling Colin Johnson / Libro In brossura
common.buy 16.49 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?