Tipsa dina vänner om produkten:
Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers (Csl '92, San Miniato, Italy, September 28-october 2, 1992 - Selected Papers) - Lecture Notes in Computer Science
Egon Bvrger
Pris
SEK 729
Beställningsvara
Förväntad leverans 25 jun - 5 jul
Lägg till din iMusic-önskelista
Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers (Csl '92, San Miniato, Italy, September 28-october 2, 1992 - Selected Papers) - Lecture Notes in Computer Science
Egon Bvrger
The proceedings of a computer science logic workshop, this volume covers such topics as Turing machines, the logic of proofs, linear logic, optimization problems, the semantics of C, classes for a functional language, sconing and relators, NP-completeness and fixpoint logic.
439 pages, biography
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 11 augusti 1993 |
| ISBN13 | 9783540569923 |
| Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sidor | 439 |
| Mått | 155 × 233 × 23 mm · 639 g |
| Redaktör | Borger, Egon |
| Redaktör | Buning, Hans Kleine |
| Redaktör | Jager, Gerhard |
| Redaktör | Martini, Simone |
| Redaktör | Richter, Michael M. |
![Cover for Egon Bvrger · Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings - Lecture Notes in Computer Science (Pocketbok) [1991 edition] (1991)](https://imusic.b-cdn.net/images/item/original/876/9783540544876.jpg?egon-bvrger-1991-computer-science-logic-4th-workshop-csl-90-heidelberg-germany-october-1-5-1990-proceedings-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1610340399)
![Cover for Egon Bvrger · CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings - Lecture Notes in Computer Science (Pocketbok) [1989 edition] (1989)](https://imusic.b-cdn.net/images/item/original/590/9783540516590.jpg?egon-bvrger-1989-csl-88-2nd-workshop-on-computer-science-logic-duisburg-frg-october-3-7-1988-proceedings-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1553386340)
