Animali e Forniture per Animali
Migliori Marche Royal Canin cane
Migliori Prodotti cibo secco per cani
Migliori Ricerche miglior cibo per cuccioli
Migliori Ricerche accessori interni per gatti
Migliori Prodotti mangime per pappagalli
Migliori Ricerche semi per canarini
Migliori Prodotti filtri per acquario
Migliori Ricerche pesci tropicali
Abbigliamento e Accessori
Migliori Prodotti abiti in cotone leggeri
Migliori Prodotti sneakers bianche
Migliori Ricerche scarpe comode per camminare
Migliori Marche Gucci occhiali da sole
Migliori Prodotti borse in pelle
Migliori Ricerche cinture in pelle eleganti
Migliori Prodotti completi notte in seta
Migliori Ricerche intimo comodo per uomo
Elettronica
Migliori Marche iPhone 14 Pro
Migliori Prodotti laptop per gaming
Migliori Ricerche auricolari wireless qualità
Salute e Bellezza
Migliori Prodotti fondotinta coprente
Migliori Prodotti integratori per energia

Logic And Computer Science

A partire da 39,95 $
Avviso di prezzo Prezzo
Avviso di prezzo Prezzo
Prezzo
Resetta i filtri
Prezzo
Resetta i filtri
- image
Logic And Computer Science

Disponibilità

Springerlink shop int - de
Visa AmericanExpress PayPal

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the border…

Prezzo
39,95$
Vedi

Logic And Computer Science

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.