Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 €
phone Contact phoneComment faire ses achats

Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Computer Science Logic Zoltán Ésik
Code Libristo: 01564793
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembre 2006
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Description détaillée
? points 263 b
107.29 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Gangland Chuck Hogan / Livre Livre de poche
common.buy 31.09 €
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Video Blu-ray
common.buy 37.99 €
Insolvenzrecht Michael App / Livre Livre de poche
common.buy 54.90 €
Microsoft Office 365 Karel Klatovský / Livre Livre de poche
common.buy 11.39 €
Rol' lekarstwennyh traw w farmacewtike Ali Khan / Livre Livre de poche
common.buy 18.69 €
morte di Cicerone (libro CXX). Testo latino a fronte Tito Livio / Livre Livre de poche
common.buy 16.09 €
Un árbol caído Rafael Reig / Livre Livre de poche
common.buy 11.59 €
Aprende a tocar la batería Peter Gelling / Livre Livre de poche
common.buy 34.39 €
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Livre Livre de poche
common.buy 22.39 €
Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez / Livre Livre de poche
common.buy 70.39 €
Mapa Oceanía físico edigol ediciones / Livre Livre de poche
common.buy 16.29 €
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Livre Livre de poche
common.buy 15.59 €
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Livre Livre de poche
common.buy 53.09 €
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Livre Livre de poche
common.buy 34.90 €
Adaptaciones cinematográficas de novelas cubanas en el ICAIC Juan Ramón Ferrera Vaillant / Livre Livre de poche
common.buy 36.49 €
Conjuguez sans faute / Livre Livre de poche
common.buy 6.89 €
Top
Tajomstvo úspechu troch majstrov Napoleon Hill / Livre Livre relié
common.buy 16.09 €

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Computer Science Logic
Auteur Zoltán Ésik
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2006
Nombre de pages 627
EAN 9783540454588
ISBN 3540454586
Code Libristo 01564793
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 961
Dimensions 155 x 235 x 35

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

For Sinners Only A J Russell / Livre Livre de poche
common.buy 17.19 €
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Livre Livre de poche
common.buy 17.09 €
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Livre Livre de poche
common.buy 19.99 €
Chauffeur and the Chaperon C. N. WILLIAMSON / Livre Livre relié
common.buy 37.69 €
Mecca F. E. Peters / Livre Livre de poche
common.buy 82.19 €
Seven Princes of the Thousand Year Labyrinth Aikawa Yu / Livre Livre de poche
common.buy 12.99 €
The Law of Executors and Administrators. Samuel Toller / Livre Livre de poche
common.buy 32.79 €
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Livre Livre relié
common.buy 31.99 €
Justice League: Last Ride Miguel Mendonca / Livre Livre de poche
common.buy 14.69 €
Craven Street Yuri Rasovsky / Livre audio MP3
common.buy 12.49 €
Mastering Bread Marc Vetri / Livre numérique Adobe ePub DRM
common.buy 7.79 €
Islam Lovat / Livre Livre de poche
common.buy 29.89 €
International Who's Who in Classical Music 2010 Europa Publications / Livre Livre relié
common.buy 404.79 €
Something Happened on the Way to Heaven Sudha Murty / Livre Livre de poche
common.buy 14.49 €
Liber Costumarum Christopher Markham / Livre Livre de poche
common.buy 17.89 €
Play or Pay. a Novelette. Hawley Smart / Livre Livre de poche
common.buy 22.59 €
Chora 5 Alberto Perez-Gomez / Livre Livre de poche
common.buy 44.79 €
Questions about God Steven M. Cahn / Livre Livre relié
common.buy 105.69 €
Deleuze's Cinema Books David Deamer / Livre Livre relié
common.buy 124.19 €
Cosmic B1+ Test Book Katerina Mestheneou / Livre Livre de poche
common.buy 27.89 €
Value Solutions In Cooperative Games Roger A McCain / Livre Livre relié
common.buy 96.49 €
Logic Programming with Prolog Beverley Ford / Livre Livre de poche
common.buy 42.19 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?