|
| |
| 10th International Conference on Automated Deduction. Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science Vol. 449) |
|
|
| Kategorie: Computer
ISBN: 3540528857 | Produktbeurteilungen: 
Dieses Produkt beurteilen | | 10th International Conference on Automated Deduction. Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science Vol. 449)
Mark E. Sticke, Erschienen 1990 Springer-Verlag Berlin Heidelberg, Broschiert
[3540528857]
Lesen Sie mehr über diesen Titel...
| | | Anbieter: Amazon Preisinformation und Bestellung |
|
Einem Freund senden
| Weitere Computer Angebote | ISBN |
| Icons. Localizer 1.3. | 3931126048 |
| SPSS 8 Professionelle Statistik unter Windows | 3826604377 |
| Computer Aided Verification. 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science Vol. 939) | 3540600450 |
| Intelligent Perceptual Systems. New Directions in Computational Perception (Lecture Notes in Computer Science Vol. 745) | 3540573798 |
| Rewriting Techniques and Applications. 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Lecture Notes in Computer Science Vol. 1232) | 3540629505 |
|
