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.

Logic and Computer Science

Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic and Computer Science Steven Homer
Libristo-code: 01565309
Uitgeverij Springer, Berlin, november 2007
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderl... Volledige beschrijving
? points 63 b
25.94 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Journal of Approximation Theory and Applied Mathematics - 2014 Vol. 3 Marco Schuchmann / Boek Gebonden (paperback)
common.buy 8.27 €
VOYAGE Daniele Steel / Boek Gebonden (paperback)
common.buy 12.51 €
Китайская мифология: обитатели небес, духи местности и демоны Анна Старостина / Boek Gebonden (harde band)
common.buy 34.82 €
El Arte de Saludar y Presentar. El Telefono y las Redes Sociales - Guia Practica para la Gente de Hoy Eduardo Algimantas / E-book Adobe ePub DRM
common.buy 3.83 €
Saint Grégoire de Nazianze Alain Durel / Boek Gebonden (paperback)
common.buy 13.62 €
Lehr- und Handbuch der politischen OEkonomie in einzelnen selbstandigen Abteilungen Adolph Wagner / Boek Gebonden (paperback)
common.buy 35.63 €

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.

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 Logic and Computer Science
Auteur Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2008
Aantal pagina's 170
EAN 9783540527343
ISBN 3540527346
Libristo-code 01565309
Uitgeverij Springer, Berlin
Gewicht 275
Afmetingen 157 x 237 x 10

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
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

Aquaculture Science and Engineering Balamuralikrishnan Balasubramanian / Boek Gebonden (paperback)
common.buy 225.86 €
Changing Minds Guy Newland / Boek Gebonden (paperback)
common.buy 33.01 €
Punch, or the London Charivari Owen Seaman / Boek Gebonden (paperback)
common.buy 16.45 €
Thirsty Crow Jim Chansler / Boek Gebonden (paperback)
common.buy 11.50 €
New Hemi Engine Swaps: Joe Hinds / Boek Gebonden (paperback)
common.buy 35.94 €
The Paperboys Club (A Paranormal Thriller of Crime and Suspense) Thomas Fincham / Boek Gebonden (paperback)
common.buy 14.13 €
Survivors Alex Schulman / Boek Gebonden (paperback)
common.buy 17.56 €
Mystic Test Book, or the Magic of the Cards Olney H. Richmond / Boek Gebonden (paperback)
common.buy 15.54 €
The Progress of Marine Engineering Thomas Main / Boek Gebonden (paperback)
common.buy 20.49 €
Rainbow Valley Lucy Maud Montgomery / Boek Gebonden (paperback)
common.buy 15.74 €
Unionists in the Heart of Dixie GLENDA MCWHIRT TODD / Boek Gebonden (paperback)
common.buy 29.78 €
Those Who Call Themselves Jews Philip L Mayo / Boek Gebonden (harde band)
common.buy 47.24 €
God's Boundary Sunday Okoh / Boek Gebonden (paperback)
common.buy 15.24 €
The Claims Of Labor: An Essay On The Duties Of The Employers To The Employed (1845) Arthur Helps / Boek Gebonden (paperback)
common.buy 30.68 €
Pediatric and Adolescent Gynecology, An Issue of Obstetrics and Gynecology Clinics S. Paige Hertweck / Boek Gebonden (harde band)
common.buy 97.93 €
Wolverhampton and Dudley, Stourbridge and Kidderminster Ordnance Survey / Drukwerk Kaart
common.buy 14.83 €
Phonons: Theory and Experiments II Peter Brüesch / Boek Gebonden (paperback)
common.buy 51.59 €
Introduction to Quantitative Finance Stephen Blyth / Boek Gebonden (paperback)
common.buy 63.30 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?