Fortell venner om denne varen:
Constraints in Computational Logics: First International Conference, Ccl '94, Munich, Germany, September 7 - 9, 1994. Proceedings (First International Conference, Ccl'94, Munich, Germany, September 7-9, 1994 - Proceedings) - Lecture Notes in Computer Scie
Jean-pierre Jouannaud
Pris
SFr. 44,99
Bestillingsvarer
Forventes levert 14. - 22. okt
Legg til iMusic ønskeliste
eller
Constraints in Computational Logics: First International Conference, Ccl '94, Munich, Germany, September 7 - 9, 1994. Proceedings (First International Conference, Ccl'94, Munich, Germany, September 7-9, 1994 - Proceedings) - Lecture Notes in Computer Scie
Jean-pierre Jouannaud
This volume constitutes the proceedings of the 1st International Conference on Constraints in Computational Logics, held in Munich in September 1994. Topics discussed include symbolic, set and numerical constraints, combined calculi, multi-paradigm programming and working systems.
371 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 24. august 1994 |
| ISBN13 | 9783540584032 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 371 |
| Mål | 155 × 233 × 20 mm · 548 g |
| Språk | Tysk |
| Redaktør | Jouannaud, Jean-pierre |
![Cover for Jean-pierre Jouannaud · Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings - Theoretical Computer Science and General Issues (Pocketbok) [2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/782/9783642253782.jpg?jean-pierre-jouannaud-2011-certified-programs-and-proofs-first-international-conference-cpp-2011-kenting-taiwan-december-7-9-2011-proceedings-theoretical-computer-science-and-general-issues-pocketbok&class=scaled&v=1609789088)
