dblp.uni-trier.de www.uni-trier.de

Lecture Notes in Computer Science (LNCS), Volumes 600-699

600
J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings. Springer 1992, ISBN 3-540-55564-1
Contents BibTeX
601
Danny Dolev, Zvi Galil, Michael Rodeh (Eds.): Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa, Israel, May 1992. Springer 1992, ISBN 3-540-55553-6
Contents BibTeX
602
Ivan Tomek (Ed.): Computer Assisted Learning, 4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992, Proceedings. Springer 1992, ISBN 3-540-55578-1
Contents BibTeX
603
Jan van Katwijk (Ed.): Ada: Moving Towards 2000, 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992, Proceedings. Springer 1992, ISBN 3-540-55585-4
Contents BibTeX
604
Fevzi Belli, Franz Josef Radermacher (Eds.): Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 5th International Conference, IEA/AIE - 92, Paderborn, Germany, June 9-12, 1992, Proceedings. Springer 1992, ISBN 3-540-55601-X
Contents BibTeX
605
Daniel Etiemble, Jean-Claude Syre (Eds.): PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings. Springer 1992, ISBN 3-540-55599-4
Contents BibTeX
606
Donald E. Knuth: Axioms and Hulls. Lecture Notes in Computer Science Vol. 606 Springer 1992, ISBN 3-540-55611-7
BibTeX
607
Deepak Kapur (Ed.): Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings. Springer 1992, ISBN 3-540-55602-8
Contents BibTeX
608
Claude Frasson, Gilles Gauthier, Gordon I. McCalla (Eds.): Intelligent Tutoring Systems, Second International Conference, ITS '92, Montréal, Canada, June 10-12, 1992, Proceedings. Springer 1992, ISBN 3-540-55606-0
Contents BibTeX
609
Grzegorz Rozenberg (Ed.): Advances in Petri Nets 1992, The DEMON Project. Springer 1992, ISBN 3-540-55610-9
Contents BibTeX
610
Frank von Martial: Coordinating Plans of Autonomous Agents. Lecture Notes in Computer Science Vol. 610 Springer 1992, ISBN 3-540-55615-X
BibTeX
611
Mike P. Papazoglou, John Zeleznikow (Eds.): The Next Generation of Information Systems: From Data to Knowledge - A Selection of Papers Presented at Two IJCAI-91 Workshops, Sydney, Australia, August 26, 1991. Springer 1992, ISBN 3-540-55616-8
Contents BibTeX
612
Mario Tokoro, Oscar Nierstrasz, Peter Wegner (Eds.): Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings. Springer 1992, ISBN 3-540-55613-3
Contents BibTeX
613
J. Paul Myers Jr., Michael J. O'Donnell (Eds.): Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings. Springer 1992, ISBN 3-540-55631-1
Contents BibTeX
614
Ralf Guido Herrtwich (Ed.): Network and Operating System Support for Digital Audio and Video, Second International Workshop, Heidelberg, Germany, November 18-19, 1991, Proceedings. Springer 1992, ISBN 3-540-55639-7
Contents BibTeX
615
Ole Lehrmann Madsen (Ed.): ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29 - July 3, 1992, Proceedings. Springer 1992, ISBN 3-540-55668-0
Contents BibTeX
616
Kurt Jensen (Ed.): Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings. Springer 1992, ISBN 3-540-55676-1
Contents BibTeX
617
Vladimír Marík, Olga Stepánková, Robert Trappl (Eds.): Advanced Topics in Artificial Intelligence, International Summer School, Prague, Czechoslovakia, July 6-17, 1992, Proceedings. Springer 1992, ISBN 3-540-55681-8
Contents BibTeX
618
Peter M. D. Gray, Robert J. Lucas (Eds.): Advanced Database Systems, 10th British National Conference on Databases, BNCOD 10, Aberdeen, Scotland, July 6-8, 1992, Proceedings. Springer 1992, ISBN 3-540-55693-1
Contents BibTeX
619
David Pearce, Heinrich Wansing (Eds.): Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings. Springer 1992, ISBN 3-540-55745-8
Contents BibTeX
620
Anil Nerode, Michael A. Taitslin (Eds.): Logical Foundations of Computer Science - Tver '92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings. Springer 1992, ISBN 3-540-55707-5
Contents BibTeX
621
Otto Nurmi, Esko Ukkonen (Eds.): Algorithm Theory - SWAT '92, Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992, Proceedings. Springer 1992, ISBN 3-540-55706-7
Contents BibTeX
622
Franz Schmalhofer, Gerhard Strube, Thomas Wetter (Eds.): Contemporary Knowledge Engineering and Cognition, First Joint Workshop, Kaiserslautern, Germany, February 21-22, 1991, Proceedings. Springer 1992, ISBN 3-540-55711-3
Contents BibTeX
623
Werner Kuich (Ed.): Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings. Springer 1992, ISBN 3-540-55719-9
Contents BibTeX
624
Andrei Voronkov (Ed.): Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings. Springer 1992, ISBN 3-540-55727-X
Contents BibTeX
625
Walter Vogler: Modular Construction and Partial Order Semantics of Petri Nets. Lecture Notes in Computer Science Vol. 625 Springer 1992, ISBN 3-540-55767-9
BibTeX
626
Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter (Eds.): Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings. Springer 1992, ISBN 3-540-55789-X
Contents BibTeX
627
James Pustejovsky, Sabine Bergler (Eds.): Lexical Semantics and Knowledge Representation, First SIGLEX Workshop, Berkeley, CA, USA, June 17, 1991, Proceedings. Springer 1992, ISBN 3-540-55801-2
Contents BibTeX
628
George Vosselman: Relational Matching. Lecture Notes in Computer Science Vol. 628 Springer 1992, ISBN 3-540-55798-9
BibTeX
629
Ivan M. Havel, Václav Koubek (Eds.): Mathematical Foundations of Computer Science 1992, 17th International Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings. Springer 1992, ISBN 3-540-55808-X
Contents BibTeX
630
Rance Cleaveland (Ed.): CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Springer 1992, ISBN 3-540-55822-5
Contents BibTeX
631
Maurice Bruynooghe, Martin Wirsing (Eds.): Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings. Springer 1992, ISBN 3-540-55844-6
Contents BibTeX
632
Hélène Kirchner, Giorgio Levi (Eds.): Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings. Springer 1992, ISBN 3-540-55873-X
Contents BibTeX
633
David Pearce, Gerd Wagner (Eds.): Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings. Springer 1992, ISBN 3-540-55887-X
Contents BibTeX
634
Luc Bougé, Michel Cosnard, Yves Robert, Denis Trystram (Eds.): Parallel Processing: CONPAR 92 - VAPP V, Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992, Proceedings. Springer 1992, ISBN 3-540-55895-0
Contents BibTeX
635
Jean-Claude Derniame (Ed.): Software Process Technology, Second European Workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992, Proceedings. Springer 1992, ISBN 3-540-55928-0
Contents BibTeX
636
Gérard Comyn, Norbert E. Fuchs, Michael Ratcliffe (Eds.): Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings. Springer 1992, ISBN 3-540-55930-2
Contents BibTeX
637
Yves Bekkers, Jacques Cohen (Eds.): Memory Management, International Workshop IWMM 92, St. Malo, France, September 17-19, 1992, Proceedings. Springer 1992, ISBN 3-540-55940-X
Contents BibTeX
638
Armando Freitas da Rocha: Neural Nets - A Theory for Brains and Machines. Lecture Notes in Computer Science Vol. 638 Springer 1992, ISBN 3-540-55949-3
BibTeX
639
Andrew U. Frank, Irene Campari, Ubaldo Formentini (Eds.): Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings. Springer 1992, ISBN 3-540-55966-3
Contents BibTeX
640
Carol A. Sledge (Ed.): Software Engineering Education, SEI Conference, 1992, Proceedings. Springer 1992, ISBN 3-540-55963-9
Contents BibTeX
641
Uwe Kastens, Peter Pfahler (Eds.): Compiler Construction, 4th International Conference on Compiler Construction, CC'92, Paderborn, Germany, October 5-7, 1992, Proceedings. Springer 1992, ISBN 3-540-55984-1
Contents BibTeX
642
Klaus P. Jantke (Ed.): Analogical and Inductive Inference, International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992, Proceedings. Springer 1992, ISBN 3-540-56004-1
Contents BibTeX
643
Annegret Habel: Hyperedge Replacement: Grammars and Languages. Lecture Notes in Computer Science Vol. 643 Springer 1992, ISBN 3-540-16488-X
BibTeX
644
Alberto Apostolico, Maxime Crochemore, Zvi Galil, Udi Manber (Eds.): Combinatorial Pattern Matching, Third Annual Symposium, CPM 92, Tucson, Arizona, USA, April 29 - May 1, 1992, Proceedings. Springer 1992, ISBN 3-540-56024-6
Contents BibTeX
645
Günther Pernul, A. Min Tjoa (Eds.): Entity-Relationship Approach - ER'92, 11th International Conference on the Entity-Relationship Approach, Karlsruhe, Germany, October 7-9, 1992, Proceedings. Springer 1992, ISBN 3-540-56023-8
Contents BibTeX
646
Joachim Biskup, Richard Hull (Eds.): Database Theory - ICDT'92, 4th International Conference, Berlin, Germany, October 14-16, 1992, Proceedings. Springer 1992, ISBN 3-540-56039-4
Contents BibTeX
647
Adrian Segall, Shmuel Zaks (Eds.): Distributed Algorithms, 6th International Workshop, WDAG '92, Haifa, Israel, November 2-4, 1992, Proceedings. Springer 1992, ISBN 3-540-56188-9
Contents BibTeX
648
Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater (Eds.): Computer Security - ESORICS 92, Second European Symposium on Research in Computer Security, Toulouse, France, November 23-25, 1992, Proceedings. Springer 1992, ISBN 3-540-56246-X
Contents BibTeX
649
Alberto Pettorossi (Ed.): Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings. Springer 1992, ISBN 3-540-56282-6
Contents BibTeX
650
Toshihide Ibaraki, Yasuyoshi Inagaki, Kazuo Iwama, Takao Nishizeki, Masafumi Yamashita (Eds.): Algorithms and Computation, Third International Symposium, ISAAC '92, Nagoya, Japan, December 16-18, 1992, Proceedings. Springer 1992, ISBN 3-540-56279-6
Contents BibTeX
651
Ron Koymans: Specifying Message Passing and Time-Critical Systems with Temporal Logic. Lecture Notes in Computer Science Vol. 651 Springer 1992, ISBN 3-540-56283-4
BibTeX
652
R. K. Shyamasundar (Ed.): Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings. Springer 1992, ISBN 3-540-56287-7
Contents BibTeX
653
Alain Bensoussan, Jean-Pierre Verjus (Eds.): Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992, Proceedings. Springer 1992, ISBN 3-540-56320-2
Contents BibTeX
654
Akira Nakamura, Maurice Nivat, Ahmed Saoudi, Patrick Shen-Pei Wang, Katsushi Inoue (Eds.): Parallel Image Analysis, Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992, Proceedings. Springer 1992, ISBN 3-540-56346-6
Contents BibTeX
655
Michel Bidoit, Christine Choppy (Eds.): Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers. Springer 1993, ISBN 3-540-56379-2
Contents BibTeX
656
Michaël Rusinowitch, Jean-Luc Remy (Eds.): Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings. Springer 1993, ISBN 3-540-56393-8
Contents BibTeX
657
Ernst W. Mayr (Ed.): Graph-Theoretic Concepts in Computer Science, 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 19-20, 1992, Proceedings. Springer 1993, ISBN 3-540-56402-0
Contents BibTeX
658
Rainer A. Rueppel (Ed.): Advances in Cryptology - EUROCRYPT '92, Workshop on the Theory and Application of of Cryptographic Techniques, Balatonfüred, Hungary, May 24-28, 1992, Proceedings. Springer 1993, ISBN 3-540-56413-6
Contents BibTeX
659
Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt (Eds.): Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings. Springer 1993, ISBN 3-540-56433-0
Contents BibTeX
660
Evelina Lamma, Paola Mello (Eds.): Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings. Springer 1993, ISBN 3-540-56454-3
Contents BibTeX
661
Stephen Jose Hanson, Werner Remmele, Ronald L. Rivest (Eds.): Machine Learning: From Theory to Applications - Cooperative Research at Siemens and MIT. Springer 1993, ISBN 3-540-56483-7
Contents BibTeX
662
Mark Nitzberg, David Mumford, Takahiro Shiota: Filtering, Segmentation and Depth. Lecture Notes in Computer Science Vol. 662 Springer 1993, ISBN 3-540-56484-5
BibTeX
663
Gregor von Bochmann, David K. Probst (Eds.): Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings. Springer 1993, ISBN 3-540-56496-9
Contents BibTeX
664
Marc Bezem, Jan Friso Groote (Eds.): Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings. Springer 1993, ISBN 3-540-56517-5
Contents BibTeX
665
Patrice Enjalbert, Alain Finkel, Klaus W. Wagner (Eds.): STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings. Springer 1993, ISBN 3-540-56503-5
Contents BibTeX
666
J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings. Springer 1993, ISBN 3-540-56596-5
Contents BibTeX
667
Pavel Brazdil (Ed.): Machine Learning: ECML-93, European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993, Proceedings. Springer 1993, ISBN 3-540-56602-3
Contents BibTeX
668
Marie-Claude Gaudel, Jean-Pierre Jouannaud (Eds.): TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings. Springer 1993, ISBN 3-540-56610-4
Contents BibTeX
669
Richard S. Bird, Carroll Morgan, Jim Woodcock (Eds.): Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings. Springer 1993, ISBN 3-540-56625-2
Contents BibTeX
670
Jim Woodcock, Peter Gorm Larsen (Eds.): FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings. Springer 1993, ISBN 3-540-56662-7
Contents BibTeX
671
Hans Jürgen Ohlbach (Ed.): GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992, Proceedings. Springer 1993, ISBN 3-540-56667-8
Contents BibTeX
672
Amnon Barak, Shai Guday, Richard G. Wheeler: The MOSIX Distributed Operating System - Load Balancing for UNIX. Lecture Notes in Computer Science Vol. 672 Springer 1993, ISBN 3-540-56663-5
BibTeX
673
Gérard D. Cohen, Teo Mora, Oscar Moreno (Eds.): Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 10th International Symposium, AAECC-10, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993, Proceedings. Springer 1993, ISBN 3-540-56686-4
Contents BibTeX
674
Grzegorz Rozenberg (Ed.): Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991. Springer 1993, ISBN 3-540-56689-9
Contents BibTeX
675
Anne Mulkers: Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation. Lecture Notes in Computer Science Vol. 675 Springer 1993, ISBN 3-540-56694-5
BibTeX
676
Thomas H. Reiss: Recognizing Planar Objects Using Invariant Image Features. Lecture Notes in Computer Science Vol. 676 Springer 1993, ISBN 3-540-56713-5
BibTeX
677
Habib Abdulrab, Jean-Pierre Pécuchet (Eds.): Word Equations and Related Topics, Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991, Proceedings. Springer 1993, ISBN 3-540-56730-5
Contents BibTeX
678
Friedhelm Meyer auf der Heide, Burkhard Monien, Arnold L. Rosenberg (Eds.): Parallel Architectures and Their Efficient Use, First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992, Proceedings. Springer 1993, ISBN 3-540-56731-3
Contents BibTeX
679
Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, N. K. Zamov: Resolution Methods for the Decision Problem. Lecture Notes in Computer Science Vol. 679 Springer 1993, ISBN 3-540-56732-1
BibTeX
680
Berthold Hoffmann, Bernd Krieg-Brückner (Eds.): Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. Springer 1993, ISBN 3-540-56733-X
Contents BibTeX
681
Heinrich Wansing: The Logic of Information Structures. Lecture Notes in Computer Science Vol. 681 Springer 1993, ISBN 3-540-56734-8
BibTeX
682
Bernadette Bouchon-Meunier, Llorenç Valverde, Ronald R. Yager (Eds.): IPMU '92 - Advanced Methods in Artificial Intelligence, 4th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6-10, 1992, Proceedings. Springer 1993, ISBN 3-540-56735-6
Contents BibTeX
683
George J. Milne, Laurence Pierre (Eds.): Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '93, Arles, France, May 24-26, 1993, Proceedings. Springer 1993, ISBN 3-540-56778-X
Contents BibTeX
684
Alberto Apostolico, Maxime Crochemore, Zvi Galil, Udi Manber (Eds.): Combinatorial Pattern Matching, 4th Annual Symposium, CPM 93, Padova, Italy, June 2-4, 1993, Proceedings. Springer 1993, ISBN 3-540-56764-X
Contents BibTeX
685
Colette Rolland, François Bodart, Corine Cauvet (Eds.): Advanced Information Systems Engineering, CAiSE'93, Paris, France, June 8-11, 1993, Proceedings. Springer 1993, ISBN 3-540-56777-1
Contents BibTeX
686
José Mira, Joan Cabestany, Alberto Prieto (Eds.): New Trends in Neural Computation, International Workshop on Artificial Neural Networks, IWANN '93, Sitges, Spain, June 9-11, 1993, Proceedings. Springer 1993, ISBN 3-540-56798-4
Contents BibTeX
687
Harrison H. Barrett, Arthur F. Gmitro (Eds.): Information Processing in Medical Imaging, 13th International Conference, IPMI'93, Flagstaff, Arizona, USA, June 14-18, 1993, Proceedings. Springer 1993, ISBN 3-540-56800-X
Contents BibTeX
688
Michel Gauthier (Ed.): Ada-Europe '93, 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993, Proceedings. Springer 1993, ISBN 3-540-56802-6
Contents BibTeX
689
Henryk Jan Komorowski, Zbigniew W. Ras (Eds.): Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings. Springer 1993, ISBN 3-540-56804-2
Contents BibTeX
690
Claude Kirchner (Ed.): Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings. Springer 1993, ISBN 3-540-56868-9
Contents BibTeX
691
Marco Ajmone Marsan (Ed.): Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings. Springer 1993, ISBN 3-540-56863-8
Contents BibTeX
692
David J. Abel, Beng Chin Ooi (Eds.): Advances in Spatial Databases, Third International Symposium, SSD'93, Singapore, June 23-25, 1993, Proceedings. Springer 1993, ISBN 3-540-56869-7
Contents BibTeX
693
Peter E. Lauer (Ed.): Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Springer 1993, ISBN 3-540-56883-2
Contents BibTeX
694
Arndt Bode, Mike Reeve, Gottfried Wolf (Eds.): PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings. Springer 1993, ISBN 3-540-56891-3
Contents BibTeX
695
Erich-Peter Klement, Wolfgang Slany (Eds.): Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence Conference, FLAI '93, Linz, Austria, June 28-30, 1993, Proceedings. Springer 1993, ISBN 3-540-56920-0
Contents BibTeX
696
Michael F. Worboys, A. F. Grundy (Eds.): Advances in Databases, 11th British National Conference on Databases, BNCOD 11, Keele, U.K., July 7-9, 1993, Proceedings. Springer 1993, ISBN 3-540-56921-9
Contents BibTeX
697
Costas Courcoubetis (Ed.): Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings. Springer 1993, ISBN 3-540-56922-7
Contents BibTeX
698
Andrei Voronkov (Ed.): Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings. Springer 1993, ISBN 3-540-56944-8
Contents BibTeX
699
Guy W. Mineau, Bernard Moulin, John F. Sowa (Eds.): Conceptual Graphs for Knowledge Representation, ICCS '93, Quebec City, Canada, August 4-7, 1993, Proceedings. Springer 1993, ISBN 3-540-56979-0
Contents BibTeX

Copyright © Sun May 17 00:32:03 2009 by Michael Ley (ley@uni-trier.de)