Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Upp till 20% på populära nyheter →

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

AvSteven Homer,Anil Nerode

Häftad, Engelska, 1990

Del 1429 i serien Lecture Notes in Mathematics

283 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:1990-07-17
Mått:155 x 235 x 10 mm
Vikt:277 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:170
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540527343

Utforska kategorier

Innehållsförteckning

The isomorphism conjecture and its generalizations.- Some lectures on intuitionistic logic.- Making computers safe for the world: An introduction to proofs of programs part I.- Prolog Programming.- A guide to polymorphic types.

Mer från samma författare

Steven Homer, Alan L. Selman - Computability and Complexity Theory, Inbunden

Computability and Complexity Theory

Steven Homer, Alan L. Selman

Inbunden, 2011

976 kr

Alan L. Selman, Steven Homer - Computability and Complexity Theory, E-bok

Computability and Complexity Theory

Alan L. Selman, Steven Homer

E-bok

2011

1 224 kr

Alan L. Selman, Steven Homer - Computability and Complexity Theory, E-bok

Computability and Complexity Theory

Alan L. Selman, Steven Homer

E-bok

2013

1 183 kr

Steven Homer, Alan L. Selman - Computability and Complexity Theory, Övrigt

Computability and Complexity Theory

Steven Homer, Alan L. Selman

667 kr

Steven Homer, Alan L. Selman - Computability and Complexity Theory, Häftad

Computability and Complexity Theory

Steven Homer, Alan L. Selman

Häftad, 2014

976 kr

Andre Scedrov, Gerald E. Sacks, Richard A. Platek, Anil Nerode, Steven Homer, Piergiorgio Odifreddi - Logic and Computer Science, E-bok

Logic and Computer Science

Andre Scedrov, Gerald E. Sacks, Richard A. Platek, Anil Nerode, Steven Homer, Piergiorgio Odifreddi

E-bok

2006

364 kr

Mer från samma serie

Dale Rolfsen - Knot Theory and Manifolds, Häftad

Del 1144

Knot Theory and Manifolds

Dale Rolfsen

Häftad, 1985

283 kr

H. Popp - Moduli Theory and Classification Theory of Algebraic Varieties, Häftad

Del 620

Moduli Theory and Classification Theory of Algebraic Varieties

H. Popp

Häftad, 1977

317 kr

Alexander Vasil'ev - Moduli of Families of Curves for Conformal and Quasiconformal Mappings, Häftad

Del 1788

Moduli of Families of Curves for Conformal and Quasiconformal Mappings

Alexander Vasil'ev

Häftad, 2002

504 kr

Joseph Bernstein, Valery Lunts - Equivariant Sheaves and Functors, Häftad

Del 1578

Equivariant Sheaves and Functors

Joseph Bernstein, Valery Lunts

Häftad, 1994

339 kr

Jin Ma, Jiongmin Yong - Forward-Backward Stochastic Differential Equations and their Applications, Häftad

Forward-Backward Stochastic Differential Equations and their Applications

Jin Ma, Jiongmin Yong

Häftad, 1999

671 kr

Michel Boileau, Gerard Besson, Carlo Sinestrari, Gang Tian, Riccardo Benedetti, Carlo Mantegazza - Ricci Flow and Geometric Applications, Häftad

Del 2166

Ricci Flow and Geometric Applications

Michel Boileau, Gerard Besson, Carlo Sinestrari, Gang Tian, Riccardo Benedetti, Carlo Mantegazza

Häftad, 2016

394 kr

Stephen Simons - From Hahn-Banach to Monotonicity, Häftad

From Hahn-Banach to Monotonicity

Stephen Simons

Häftad, 2008

560 kr

Alla Detinko, Dane Flannery, Eamonn O'Brien - Probabilistic Group Theory, Combinatorics, and Computing, Häftad

Del 2070

Probabilistic Group Theory, Combinatorics, and Computing

Alla Detinko, Dane Flannery, Eamonn O'Brien

Häftad, 2013

394 kr

Gene Abrams, Pere Ara, Mercedes Siles Molina - Leavitt Path Algebras, Häftad

Del 2191

Leavitt Path Algebras

Gene Abrams, Pere Ara, Mercedes Siles Molina

Häftad, 2017

671 kr

A. Dold, B. Eckmann - Index and Other Useful Information, Häftad

Index and Other Useful Information

A. Dold, B. Eckmann

Häftad, 2013

560 kr

Du kanske också är intresserad av

Johanna Barzen - Service-Oriented Computing, Häftad

Del 1429

Service-Oriented Computing

Johanna Barzen

Häftad, 2021

748 kr

Vikrant Bhateja, Anagha Bhattacharya, Sarika Shrivastava - Evolution in Signal Processing and Telecommunication Networks, Inbunden

Del 1429

Evolution in Signal Processing and Telecommunication Networks

Vikrant Bhateja, Anagha Bhattacharya, Sarika Shrivastava

Inbunden, 2026

3 047 kr

Ewa Pietka, Pawel Badura, Jacek Kawa, Wojciech Wieclawek - Information Technology in Biomedicine, Häftad

Del 1429

Information Technology in Biomedicine

Ewa Pietka, Pawel Badura, Jacek Kawa, Wojciech Wieclawek

Häftad, 2022

2 628 kr

Geraldo A. Passos - Genome Editing in Biomedical Sciences, Inbunden

Del 1429

Genome Editing in Biomedical Sciences

Geraldo A. Passos

Inbunden, 2023

2 467 kr

Walther Meyer zur Capellen - Torsionsschwingungen im An- und Abtrieb von Viergelenkgetrieben, Häftad

Del 1429

Torsionsschwingungen im An- und Abtrieb von Viergelenkgetrieben

Walther Meyer zur Capellen

Häftad, 1965

834 kr

Marcelo Zambrano Vizuete, Miguel Botto Tobar, Sonia Casillas Martín, Gabriel Gomes de Oliveira, Benjamin Durakovic - Innovation and Research – Smart Technologies and Systems, Häftad

Del 1429

Innovation and Research – Smart Technologies and Systems

Marcelo Zambrano Vizuete, Miguel Botto Tobar, Sonia Casillas Martín, Gabriel Gomes de Oliveira, Benjamin Durakovic

Häftad, 2025

2 220 kr

Andre Scedrov, Gerald E. Sacks, Richard A. Platek, Anil Nerode, Steven Homer, Piergiorgio Odifreddi - Logic and Computer Science, E-bok

Logic and Computer Science

Andre Scedrov, Gerald E. Sacks, Richard A. Platek, Anil Nerode, Steven Homer, Piergiorgio Odifreddi

E-bok

2006

364 kr

William P. Ehling - Explorer's Guide 50 Hikes in Western New York, Häftad

Explorer's Guide 50 Hikes in Western New York

William P. Ehling

Häftad, 1990

294 kr

Piergiorgio Odifreddi - Mathematical Century, Häftad

Mathematical Century

Piergiorgio Odifreddi

Häftad, 2006

311 kr

Anne C. Bernstein - Yours, Mine, and Ours, Häftad

Yours, Mine, and Ours

Anne C. Bernstein

Häftad, 1990

305 kr