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
Häftad, Engelska, 1990
Del 1429 i serien Lecture Notes in Mathematics
271 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
The courses given at the 1st CIME 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 and cover such topics as isomorphism conjecture and its generalization, intuitionistic logic and PROLOG programming.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma serie
Cech and Steenrod Homotopy Theories with Applications to Geometric Topology
D. A. Edwards, H. M. Hastings
Häftad
429 kr
Probabilistic Group Theory, Combinatorics, and Computing
Alla Detinko, Dane Flannery, Eamonn O'Brien
Häftad
376 kr
Spectral Theory for Simply Periodic Solutions of the Sinh-Gordon Equation
Sebastian Klein
Häftad
430 kr
Hoppa över listan
Du kanske också är intresserad av
Evolution in Signal Processing and Telecommunication Networks
Vikrant Bhateja, Anagha Bhattacharya, Sarika Shrivastava
Inbunden
2 937 kr
Information Technology in Biomedicine
Ewa Pietka, Pawel Badura, Jacek Kawa, Wojciech Wieclawek
Häftad
2 486 kr