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

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

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

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

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

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

606

Donald E. Knuth: Axioms and Hulls. Lecture Notes in Computer Science Vol. 606 Springer 1992, ISBN 3-540-55611-7

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

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

609

Grzegorz Rozenberg (Ed.): Advances in Petri Nets 1992, The DEMON Project. Springer 1992, ISBN 3-540-55610-9
Contents

610

Frank von Martial: Coordinating Plans of Autonomous Agents. Lecture Notes in Computer Science Vol. 610 Springer 1992, ISBN 3-540-55615-X

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

628

George Vosselman: Relational Matching. Lecture Notes in Computer Science Vol. 628 Springer 1992, ISBN 3-540-55798-9

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

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

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

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

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

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

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

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

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

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

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

640

Carol A. Sledge (Ed.): Software Engineering Education, SEI Conference, 1992, Proceedings. Springer 1992, ISBN 3-540-55963-9
Contents

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

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

643

Annegret Habel: Hyperedge Replacement: Grammars and Languages. Lecture Notes in Computer Science Vol. 643 Springer 1992, ISBN 3-540-16488-X

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

681

Heinrich Wansing: The Logic of Information Structures. Lecture Notes in Computer Science Vol. 681 Springer 1993, ISBN 3-540-56734-8

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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