Lecture Notes in Computer Science (LNCS), Volumes 500-599
500Martin Held: On the Computational Geometry of Pocket Machining. Springer 1991 ISBN 3-540-54103-9- 501Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (Eds.): Algebraic System Specification and Development - A Survey and Annotated Bibliography. Springer 1991 ISBN 3-540-54060-1
- 502Janis Barzdins, Dines Bjørner (Eds.): Baltic Computer Science, Selected Papers. Springer 1991 ISBN 3-540-54131-4 [ contents ]
- 503Pierre America (Ed.): Parallel Database Systems, PRISMA Workshop, Noordwijk, The Netherlands, September 24-26, 1990, Proceedings. Springer 1990 ISBN 3-540-54132-2 [ contents ]
- 504Joachim W. Schmidt, Anatoly A. Stogny (Eds.): Next Generation Information System Technology, First Interational East/West Data Base Workshop, Kiev, USSR, October 9-12, 1990, Proceedings. Springer 1990 ISBN 3-540-54141-1 [ contents ]
- 505Emile H. L. Aarts, Jan van Leeuwen, Martin Rem (Eds.): PARLE '91: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures and Algorithms, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings. Springer 1991 ISBN 3-540-54151-9 [ contents ]
- 506Emile H. L. Aarts, Jan van Leeuwen, Martin Rem (Eds.): PARLE '91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings. Springer 1991 ISBN 3-540-54152-7 [ contents ]
- 507Naveed A. Sherwani, Elise de Doncker, John A. Kapenga (Eds.): Computing in the 90's, The First Great Lakes Computer Science Conference, Kalamazzo, Michigan, USA, October 18-20, 1989, Proceedings. Springer 1991 ISBN 3-540-97628-0 [ contents ]
- 508Shojiro Sakata (Ed.): Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 8th International Symposium, AAECC-8, Tokyo, Japan, August 20-24, 1990, Proceedings. Springer 1991 ISBN 3-540-54195-0 [ contents ]
- 509Albert Endres, Herbert Weber (Eds.): Software Development Environments and CASE Technology, European Symposium, Königswinter, Germany, June 17-19, 1991, Proceedings. Springer 1991 ISBN 3-540-54194-2 [ contents ]
- 510Javier Leach Albert, Burkhard Monien, Mario Rodríguez-Artalejo (Eds.): Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings. Springer 1991 ISBN 3-540-54233-7 [ contents ]
- 511Alan C. F. Colchester, David J. Hawkes (Eds.): Information Processing in Medical Imaging, 12th International Conference, IPMI'91, Wye, UK, July 7-12, 1991, Proceedings. Springer 1991 ISBN 3-540-54246-9 [ contents ]
- 512Pierre America (Ed.): ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings. Springer 1991 ISBN 3-540-54262-0 [ contents ]
- 513Nelson Mendonça Mattos: An Approach to Knowledge Base Management. Springer 1991 ISBN 3-540-54268-X
- 514Gérard D. Cohen, Pascale Charpin (Eds.): EUROCODE '90, International Symposium on Coding Theory and Applications, Udine, Italy, November 5-9, 1990, Proceedings. Springer 1991 ISBN 3-540-54303-1 [ contents ]
- 515João P. Martins, Michael Reinfrank (Eds.): Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings. Springer 1991 ISBN 3-540-54305-8 [ contents ]
- 516Stéphane Kaplan, Mitsuhiro Okada (Eds.): Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings. Springer 1991 ISBN 3-540-54317-1 [ contents ]
- 517Klaus Nökel: Temporally Distributed Symptoms in Technical Diagnosis. Springer 1991 ISBN 3-540-54316-3
- 518James G. Williams: Instantiation Theory - On the Foundations of Automated Deduction. Springer 1991 ISBN 3-540-54333-3
- 519Frank K. H. A. Dehne, Jörg-Rüdiger Sack, Nicola Santoro (Eds.): Algorithms and Data Structures, 2nd Workshop WADS '91, Ottawa, Canada, August 14-16, 1991, Proceedings. Springer 1991 ISBN 3-540-54343-0 [ contents ]
- 520Andrzej Tarlecki (Ed.): Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings. Springer 1991 ISBN 3-540-54345-7 [ contents ]
- 521Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh (Eds.): Uncertainty in Knowledge Bases, 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90, Paris, France, July 2-6, 1990, Proceedings. Springer 1991 ISBN 3-540-54346-5 [ contents ]
- 522Joachim Hertzberg (Ed.): European Workshop on Planning, EWSP '91, Sankt Augustin, FRG, March 18-19, 1991, Proceedings. Springer 1991 ISBN 3-540-54364-3 [ contents ]
- 523John Hughes (Ed.): Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings. Springer 1991 ISBN 3-540-54396-1 [ contents ]
- 524Grzegorz Rozenberg (Ed.): Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990. Springer 1991 ISBN 3-540-54398-8 [ contents ]
- 525Oliver Günther, Hans-Jörg Schek (Eds.): Advances in Spatial Databases, Second International Symposium, SSD'91, Zürich, Switzerland, August 28-30, 1991, Proceedings. Springer 1991 ISBN 3-540-54414-3 [ contents ]
- 526Takayasu Ito, Albert R. Meyer (Eds.): Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings. Springer 1991 ISBN 3-540-54415-1 [ contents ]
- 527Jos C. M. Baeten, Jan Friso Groote (Eds.): CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings. Springer 1991 ISBN 3-540-54430-5 [ contents ]
- 528Jan Maluszynski, Martin Wirsing (Eds.): Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings. Springer 1991 ISBN 3-540-54444-5 [ contents ]
- 529Lothar Budach (Ed.): Fundamentals of Computation Theory, 8th International Symposium, FCT '91, Gosen, Germany, September 9-13, 1991, Proceedings. Springer 1991 ISBN 3-540-54458-5 [ contents ]
- 530David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard (Eds.): Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings. Springer 1991 ISBN 3-540-54495-X [ contents ]
- 531Edmund M. Clarke, Robert P. Kurshan (Eds.): Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings. Springer 1991 ISBN 3-540-54477-1 [ contents ]
- 532Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg (Eds.): Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings. Springer 1991 ISBN 3-540-54478-X [ contents ]
- 533Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld (Eds.): Computer Science Logic, 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings. Springer 1991 ISBN 3-540-54487-9 [ contents ]
- 534Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel (Eds.): Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990. Springer 1991 ISBN 3-540-54496-8 [ contents ]
- 535Philippe Jorrand, Jozef Kelemen (Eds.): Fundamentals of Artificial Intelligence Research, International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991, Proceedings. Springer 1991 ISBN 3-540-54507-7 [ contents ]
- 536James E. Tomayko (Ed.): Software Engineering Education, SEI Conference, Pittsburgh, Pennsylvania, USA, October7-8, 1991, Proceedings. Springer 1991 ISBN 3-540-54502-6 [ contents ]
- 537Alfred Menezes, Scott A. Vanstone (Eds.): Advances in Cryptology - CRYPTO '90, 10th Annual International Cryptology Conference, Santa Barbara, California, USA, August 11-15, 1990, Proceedings. Springer 1991 ISBN 3-540-54508-5 [ contents ]
- 538Masakazu Kojima, Nimrod Megiddo, Toshihito Noma, Akiko Yoshise: A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems. Springer 1991 ISBN 3-540-54509-3
- 539Harold F. Mattson, Teo Mora, T. R. N. Rao (Eds.): Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991, Proceedings. Springer 1991 ISBN 3-540-54522-0 [ contents ]
- 540Alberto Prieto (Ed.): Artificial Neural Networks, International Workshop, IWANN '91, Granada, Spain, September 17-19, 1991, Proceedings. Springer 1991 ISBN 3-540-54537-9 [ contents ]
- 541Pedro Barahona, Luís Moniz Pereira, António Porto (Eds.): EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings. Springer 1991 ISBN 3-540-54535-2 [ contents ]
- 542Zbigniew W. Ras, Maria Zemankova (Eds.): Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings. Springer 1991 ISBN 3-540-54563-8 [ contents ]
- 543Jürgen Dix, Klaus P. Jantke, Peter H. Schmitt (Eds.): Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings. Springer 1991 ISBN 3-540-54564-6 [ contents ]
- 544Manfred Broy, Martin Wirsing (Eds.): Method of Programming, Selected Papers on the CIP-Project. Springer 1991 ISBN 3-540-54576-X [ contents ]
- 545Henk Alblas, Borivoj Melichar (Eds.): Attribute Grammars, Applications and Systems, International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991, Proceedings. Springer 1991 ISBN 3-540-54572-7 [ contents ]
- 546Otthein Herzog, Claus-Rainer Rollinger (Eds.): Text Understanding in LILOG, Integrating Computational Linguistics and Artificial Intelligence, Final Report on the IBM Germany LILOG-Project. Springer 1991 ISBN 3-540-54594-8 [ contents ]
- 547Donald W. Davies (Ed.): Advances in Cryptology - EUROCRYPT '91, Workshop on the Theory and Application of of Cryptographic Techniques, Brighton, UK, April 8-11, 1991, Proceedings. Springer 1991 ISBN 3-540-54620-0 [ contents ]
- 548Rudolf Kruse, Pierre Siegel (Eds.): Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQAU, Marseille, France, October 15-17, 1991, Proceedings. Springer 1991 ISBN 3-540-54659-6 [ contents ]
- 549Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello (Eds.): Trends in Artificial Intelligence, 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991, Proceedings. Springer 1991 ISBN 3-540-54712-6 [ contents ]
- 550Axel van Lamsweerde, Alfonso Fugetta (Eds.): ESEC '91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings. Springer 1991 ISBN 3-540-54742-8 [ contents ]
- 551Søren Prehn, W. J. Toetenel (Eds.): VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions. Springer 1991 ISBN 3-540-54834-3 [ contents ]
- 552Søren Prehn, W. J. Toetenel (Eds.): VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 2: Tutorials. Springer 1991 ISBN 3-540-54868-8 [ contents ]
- 553Hanspeter Bieri, Hartmut Noltemeier (Eds.): Computational Geometry - Methods, Algorithms and Applications, International Workshop on Computational Geometry CG'91, Bern, Switzerland, March 21-22, 1991. Springer 1991 ISBN 3-540-54891-2 [ contents ]
- 554Gösta Grahne: The Problem of Incomplete Information in Relational Databases. Springer 1991 ISBN 3-540-54919-6
- 555Hermann A. Maurer (Ed.): New Results and New Trends in Computer Science, Graz, Austria, June 20-21, 1991, Proceedings [on occasion of H. Maurer's 50th birthday]. Springer 1991 ISBN 3-540-54869-6 [ contents ]
- 556Jean-Marie Jacquet: Conclog: A Methodological Approach to Concurrent Logic Programming. Springer 1991 ISBN 3-540-54938-2
- 557Wen-Lian Hsu, Richard C. T. Lee (Eds.): ISA '91 Algorithms, 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991, Proceedings. Springer 1991 ISBN 3-540-54945-5 [ contents ]
- 558Jozef Hooman: Specification and Compositional Verification of Real-Time Systems. Springer 1991 ISBN 3-540-54947-1
- 559Gregory Butler: Fundamental Algorithms for Permutation Groups. Springer 1991 ISBN 3-540-54955-2
- 560Somenath Biswas, Kesav V. Nori (Eds.): Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings. Springer 1991 ISBN 3-540-54967-6 [ contents ]
- 561Cunsheng Ding, Guozhen Xiao, Weijuan Shan: The Stability Theory of Stream Ciphers. Springer 1991 ISBN 3-540-54973-0
- 562
- 563Arthur I. Karshmer, Jürgen Nehmer (Eds.): Operating Systems of the 90s and Beyond, International Workshop, Dagstuhl Castle, Germany, July 8-12, 1991, Proceedings. Springer 1991 ISBN 3-540-54987-0 [ contents ]
- 564Ivan Herman: The Use of Projective Geometry in Computer Graphics. Springer 1992 ISBN 978-3-540-55075-4
- 565Jörg D. Becker, Ignaz Eisele, Friedhelm Mündemann (Eds.): Parallelism, Learning, Evolution, Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989, Workshop on Parallel Processing: Logic, Organization, and Technology - WOPPLOT 89, Wildbad Kreuth, Germany, July 24-28, 1989. Springer 1991 ISBN 3-540-55027-5 [ contents ]
- 566Claude Delobel, Michael Kifer, Yoshifumi Masunaga (Eds.): Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings. Springer 1991 ISBN 3-540-55015-1 [ contents ]
- 567Harold Boley, Michael M. Richter (Eds.): Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings. Springer 1991 ISBN 3-540-55033-X [ contents ]
- 568Hans-Jürgen Bürckert: A Resolution Principle for a Logic with Restricted Quantifiers. Springer 1991 ISBN 3-540-55034-8
- 569Anthony Beaumont, Gopal Gupta (Eds.): Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, June 24, 1991, Proceedings. Springer 1991 ISBN 3-540-55038-0 [ contents ]
- 570Gunther Schmidt, Rudolf Berghammer (Eds.): 17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991, Proceedings. Springer 1992 ISBN 3-540-55121-2 [ contents ]
- 571Jan Vytopil (Ed.): Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings. Springer 1991 ISBN 3-540-55092-5 [ contents ]
- 572Klaus U. Schulz (Ed.): Word Equations and Related Topics, First International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990, Proceedings. Springer 1992 ISBN 3-540-55124-7 [ contents ]
- 573Gérard D. Cohen, Simon Litsyn, Antoine Lobstein, Gilles Zémor (Eds.): Algebraic Coding, First French-Soviet Workshop, Paris, France, July 22-24, 1991, Proceedings. Springer 1992 ISBN 3-540-55130-1 [ contents ]
- 574Jean-Pierre Banâtre, Daniel Le Métayer (Eds.): Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France, June 17-19, 1991, Procedings. Springer 1992 ISBN 3-540-55160-3 [ contents ]
- 575Kim Guldstrand Larsen, Arne Skou (Eds.): Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Springer 1992 ISBN 3-540-55179-4 [ contents ]
- 576Joan Feigenbaum (Ed.): Advances in Cryptology - CRYPTO '91, 11th Annual International Cryptology Conference, Santa Barbara, California, USA, August 11-15, 1991, Proceedings. Springer 1992 ISBN 3-540-55188-3 [ contents ]
- 577Alain Finkel, Matthias Jantzen (Eds.): STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings. Springer 1992 ISBN 3-540-55210-3 [ contents ]
- 578Thomas Beth, Markus Frisch, Gustavus J. Simmons (Eds.): Public-Key Cryptography: State of the Art and Future Directions, E.I.S.S. Workshop, Oberwolfach, Germany, July 3-6, 1991, Final Report. Springer 1992 ISBN 3-540-55215-4
- 579Sam Toueg, Paul G. Spirakis, Lefteris M. Kirousis (Eds.): Distributed Algorithms, 5th International Workshop, WDAG '91, Delphi, Greece, October 7-9, 1991, Proceedings. Springer 1992 ISBN 3-540-55236-7 [ contents ]
- 580Alain Pirotte, Claude Delobel, Georg Gottlob (Eds.): Advances in Database Technology - EDBT'92, 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992, Proceedings. Springer 1992 ISBN 3-540-55270-7 [ contents ]
- 581Jean-Claude Raoult (Ed.): CAAP '92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings. Springer 1992 ISBN 3-540-55251-0 [ contents ]
- 582Bernd Krieg-Brückner (Ed.): ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings. Springer 1992 ISBN 3-540-55253-7 [ contents ]
- 583Imre Simon (Ed.): LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings. Springer 1992 ISBN 3-540-55284-7 [ contents ]
- 584Richard Zippel (Ed.): Computer Algebra and Parallelism, Second International Workshop, Ithaca, USA, May 9-11, 1990. Springer 1992 ISBN 3-540-55328-2 [ contents ]
- 585Franz Pichler, Roberto Moreno-Díaz (Eds.): Computer Aided Systems Theory - EUROCAST'91, A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991, Proceedings. Springer 1992 ISBN 3-540-55354-1 [ contents ]
- 586Andrew Cheese: Parallel Execution of Parlog. Springer 1992 ISBN 3-540-55382-7
- 587Robert Dale, Eduard H. Hovy, Dietmar Rösner, Oliviero Stock (Eds.): Aspects of Automated Natural Language Generation, 6th International Workshop on Natural Language Generation, Trento, Italy, April 5-7, 1992, Proceedings. Springer 1992 ISBN 3-540-55399-1 [ contents ]
- 588Giulio Sandini (Ed.): Computer Vision - ECCV'92, Second European Conference on Computer Vision, Santa Margherita Ligure, Italy, May 19-22, 1992, Proceedings. Springer 1992 ISBN 3-540-55426-2 [ contents ]
- 589Utpal Banerjee, David Gelernter, Alexandru Nicolau, David A. Padua (Eds.): Languages and Compilers for Parallel Computing, Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991, Proceedings. Springer 1992 ISBN 3-540-55422-X [ contents ]
- 590Bertram Fronhöfer, Graham Wrightson (Eds.): Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings. Springer 1992 ISBN 3-540-55425-4 [ contents ]
- 591Hans P. Zima (Ed.): Parallel Computation, First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991, Proceedings. Springer 1992 ISBN 3-540-55437-8 [ contents ]
- 592Andrei Voronkov (Ed.): Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings. Springer 1992 ISBN 3-540-55460-2 [ contents ]
- 593Pericles Loucopoulos (Ed.): Advanced Information Systems Engineering, CAiSE'92, Manchester, UK, May 12-15, 1992, Proceedings. Springer 1992 ISBN 3-540-55481-5 [ contents ]
- 594Burkhard Monien, Thomas Ottmann (Eds.): Data Structures and Efficient Algorithms, Final Report on the DFG Special Joint Initiative. Springer 1992 ISBN 3-540-55488-2 [ contents ]
- 595Mark Levene: The Nested Universal Relation Database Model. Springer 1992 ISBN 3-540-55493-9
- 596Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister (Eds.): Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings. Springer 1992 ISBN 3-540-55498-X [ contents ]
- 597Hans W. Guesgen, Joachim Hertzberg: A Perspective of Constraint-Based Reasoning - An Introductory Tutorial. Springer 1992 ISBN 3-540-55510-2
- 598Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings. Springer 1992 ISBN 3-540-55511-0 [ contents ]
- 599Thomas Wetter, Klaus-Dieter Althoff, John H. Boose, Brian R. Gaines, Marc Linster (Eds.): Current Developments in Knowledge Acquisition - EKAW'92, 6th European Knowledge Acquisition Workshop, Heidelberg and Kaiserslautern, Germany, May 18-22, 1992. Springer 1992 ISBN 3-540-55546-3 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team