Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Computer Science Logic

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Science Logic Zoltán Ésik
Libristo-code: 01564793
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2006
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Volledige beschrijving
? points 249 b
102.99 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Mapa Oceanía físico edigol ediciones / Boek Gebonden (paperback)
common.buy 15.87 €
morte di Cicerone (libro CXX). Testo latino a fronte Tito Livio / Boek Gebonden (paperback)
common.buy 15.47 €
Rol' lekarstwennyh traw w farmacewtike Ali Khan / Boek Gebonden (paperback)
common.buy 17.90 €
Microsoft Office 365 Karel Klatovský / Boek Gebonden (paperback)
common.buy 11.02 €
Insolvenzrecht Michael App / Boek Gebonden (paperback)
common.buy 51.79 €
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Video Blu-ray
common.buy 38.44 €
Gangland Chuck Hogan / Boek Gebonden (paperback)
common.buy 30.04 €
Aprende a tocar la batería Peter Gelling / Boek Gebonden (paperback)
common.buy 33.28 €
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Boek Gebonden (paperback)
common.buy 21.84 €
Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez / Boek Gebonden (paperback)
common.buy 68.08 €
Un árbol caído Rafael Reig / Boek Gebonden (paperback)
common.buy 11.22 €
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Boek Gebonden (paperback)
common.buy 15.17 €
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Boek Gebonden (paperback)
common.buy 51.59 €
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Boek Gebonden (paperback)
common.buy 31.25 €
Conjuguez sans faute / Boek Gebonden (paperback)
common.buy 6.67 €
TOP
Tajomstvo úspechu troch majstrov Napoleon Hill / Boek Gebonden (harde band)
common.buy 15.27 €

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 & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computer Science Logic
Auteur Zoltán Ésik
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2006
Aantal pagina's 627
EAN 9783540454588
ISBN 3540454586
Libristo-code 01564793
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 961
Afmetingen 155 x 235 x 35

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

For Sinners Only A J Russell / Boek Gebonden (paperback)
common.buy 16.58 €
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Boek Gebonden (paperback)
common.buy 16.58 €
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Boek Gebonden (paperback)
common.buy 19.32 €
Chauffeur and the Chaperon C. N. WILLIAMSON / Boek Gebonden (harde band)
common.buy 36.41 €
Mecca F. E. Peters / Boek Gebonden (paperback)
common.buy 79.62 €
The Law of Executors and Administrators. Samuel Toller / Boek Gebonden (paperback)
common.buy 31.66 €
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Boek Gebonden (harde band)
common.buy 30.55 €
Craven Street Yuri Rasovsky / Luisterboek MP3
common.buy 12.03 €
Mastering Bread Marc Vetri / E-book Adobe ePub DRM
common.buy 16.18 €
Islam Lovat / Boek Gebonden (paperback)
common.buy 28.93 €
International Who's Who in Classical Music 2010 Europa Publications / Boek Gebonden (harde band)
common.buy 409.56 €
Liber Costumarum Christopher Markham / Boek Gebonden (paperback)
common.buy 17.09 €
Play or Pay. a Novelette. Hawley Smart / Boek Gebonden (paperback)
common.buy 21.44 €
An Appendix To The History Of Scotland Containing: A Detection Of The Actions Of Mary Queen Of Scots, Concerning The Murder Of Her Husband And Her Mar George Buchanan / Boek Gebonden (harde band)
common.buy 47.54 €
Chora 5 Alberto Perez-Gomez / Boek Gebonden (paperback)
common.buy 43.40 €
Questions about God Steven M. Cahn / Boek Gebonden (harde band)
common.buy 102.58 €
Deleuze's Cinema Books David Deamer / Boek Gebonden (harde band)
common.buy 125.65 €
Logic Programming with Prolog Beverley Ford / Boek Gebonden (paperback)
common.buy 55.74 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken