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

14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Science Logic Peter G. Clote
Libristo-code: 01567557
Uitgeverij Springer, Berlin, november 1999
This book constitutes the refereed proceedings of the 13th International Workshop on Computer Scienc... Volledige beschrijving
? points 249 b
102.86 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Pharmakotherapie am Auge Eugen Gramer / Boek Gebonden (paperback)
common.buy 53.04 €
Maria Werner Charlotte Spaeth / Boek Gebonden (paperback)
common.buy 31.22 €
Mozart's Leben. Aleksandr Dmitrievich Ulybyshev / Boek Gebonden (paperback)
common.buy 25.96 €
EL MALA DE DIOS MOOJI / Boek Gebonden (paperback)
common.buy 18.99 €
Le carnet d'Yann - Lignes, 96p, A5 - Chapeau et N ud papillon / Kalender/agenda Agenda
common.buy 10.80 €
Doppel-Klick - Das Sprach- und Lesebuch - Nordrhein-Westfalen - 10. Schuljahr Hans J. Heinz / Boek Gebonden (harde band)
common.buy 35.86 €
Transfer Von Erfahrungen Bernd Humpl / Boek Gebonden (paperback)
common.buy 72.24 €

This book constitutes the refereed proceedings of the 13th International Workshop on Computer Science Logic, CSL 2000, held in Fischbachau, Germany as the 8th Annual Conference of the EACSL in August 2000. The 28 revised full papers presented together with eight invited papers were carefully reviewed and selected by the program committee. Among the topics covered are automated deduction, theorem proving, categorical logic, term rewriting, finite model theory, higher order logic, lambda and combinatory calculi, computational complexity, logic programing, constraints, linear logic, modal logic, temporal logic, model checking, formal specification, formal verification, program transformation, etc.

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 Peter G. Clote, Helmut Schwichtenberg
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2000
Aantal pagina's 550
EAN 9783540678953
ISBN 3540678956
Libristo-code 01567557
Uitgeverij Springer, Berlin
Gewicht 780
Afmetingen 155 x 235 x 29

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 > Systeemanalyse en systeemontwerp
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

Law of Railways, Including the Consolidation and Other General Acts of Regulating Railways in England and Ireland, with Copious Notes of Decided Cases Leonard Shelford / Boek Gebonden (harde band)
common.buy 42.94 €
Works of Jeremy Bentham, published under his executor, John Bowring. [The General Preface signed John Bowring / Boek Gebonden (paperback)
common.buy 31.62 €
Good Ideas and Power Moves Sin ad O Sullivan / E-book Adobe ePub DRM
common.buy 16.46 €
If We Burn: The Mass Protest Decade and the Missing Revolution Vincent Bevins / Boek Gebonden (paperback)
common.buy 14.14 €
AngelGoonz / Boek Gebonden (paperback)
common.buy 19.29 €
Seven Days to the Funeral Julia Sherwood / Boek Gebonden (paperback)
common.buy 27.98 €
Beethoven: The String Quartets David Vernon / Boek Gebonden (paperback)
common.buy 15.75 €
Bloody Kisses Mukoro Stevenson Mukoro / Boek Gebonden (paperback)
common.buy 20.10 €
The Romance Of The Sowdone Of Babylon And Of Ferumbras His Son Who Conquered Rome (1881) Thomas Phillipps / Boek Gebonden (paperback)
common.buy 26.87 €
A Room With A View Edward Morgan Forster / Boek Gebonden (paperback)
common.buy 10.30 €
Soul Ties Tammy Henson / Boek Gebonden (paperback)
common.buy 12.72 €
Executive Politics in Times of Crisis M. Lodge / Boek Gebonden (paperback)
common.buy 53.24 €
Very British Revolution Martin Bell / Boek Gebonden (paperback)
common.buy 18.08 €
Popular Religion in Germany and Central Europe, 1400-1800 R Johnson T.R. Sc / Boek Gebonden (paperback)
common.buy 59.71 €
One Discipline, Four Ways Andre Gingrich / Boek Gebonden (paperback)
common.buy 38.39 €
Evolutionary Biology Max K. Hecht / Boek Gebonden (harde band)
common.buy 119.54 €
Actin-Binding Proteins and Disease Cris dos Remedios / Boek Gebonden (paperback)
common.buy 205.53 €
Remote Sensing Siamak Khorram / Boek Gebonden (paperback)
common.buy 51.63 €
Wordt verwacht
Democracy and Communication in the New Europe Farrel Corcoran / Boek Gebonden (harde band)
common.buy 75.17 €
Great Opera Houses: Masterpieces of Architecture Andras Kaldor / Boek Gebonden (harde band)
common.buy 11.51 €
Family Policy and Disability Arie Rimmerman / Boek Gebonden (harde band)
common.buy 145.10 €

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