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

Lecture Notes in Computer Science (LNCS), Volumes 500-599

500
Martin Held: On the Computational Geometry of Pocket Machining. Lecture Notes in Computer Science Vol. 500 Springer 1991, ISBN 3-540-54103-9
BibTeX
501
Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (Eds.): Algebraic System Specification and Development - A Survey and Annotated Bibliography. Lecture Notes in Computer Science Vol. 501 Springer 1991, ISBN 3-540-54060-1
BibTeX
502
Janis Barzdins, Dines Bjørner (Eds.): Baltic Computer Science, Selected Papers. Springer 1991, ISBN 3-540-54131-4
Contents BibTeX
503
Pierre America (Ed.): Parallel Database Systems, PRISMA Workshop, Noordwijk, The Netherlands, September 24-26, 1990, Proceedings. Springer 1990, ISBN 3-540-54132-2
Contents BibTeX
504
Joachim 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 BibTeX
505
Emile 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 BibTeX
506
Emile 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 BibTeX
507
Naveed 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 BibTeX
508
Shojiro 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 BibTeX
509
Albert 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 BibTeX
510
Javier 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 BibTeX
511
Alan 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 BibTeX
512
Pierre 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 BibTeX
513
Nelson Mendonça Mattos: An Approach to Knowledge Base Management. Lecture Notes in Computer Science Vol. 513 Springer 1991, ISBN 3-540-54268-X
BibTeX
514
Gé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 BibTeX
515
Joã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 BibTeX
516
Sté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 BibTeX
517
Klaus Nökel: Temporally Distributed Symptoms in Technical Diagnosis. Lecture Notes in Computer Science Vol. 517 Springer 1991, ISBN 3-540-54316-3
BibTeX
518
James G. Williams: Instantiation Theory - On the Foundations of Automated Deduction. Lecture Notes in Computer Science Vol. 518 Springer 1991, ISBN 3-540-54333-3
BibTeX
519
Frank 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 BibTeX
520
Andrzej 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 BibTeX
521
Bernadette 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 BibTeX
522
Joachim Hertzberg (Ed.): European Workshop on Planning, EWSP '91, Sankt Augusting, FRG, March 18-19, 1991, Proceedings. Springer 1991, ISBN 3-540-54364-3
Contents BibTeX
523
John 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 BibTeX
524
Grzegorz 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 BibTeX
525
Oliver 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 BibTeX
526
Takayasu 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 BibTeX
527
Jos 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 BibTeX
528
Jan 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 BibTeX
529
Lothar 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 BibTeX
530
David 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 BibTeX
531
Edmund 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 BibTeX
532
Hartmut 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 BibTeX
533
Egon 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 BibTeX
534
Hartmut 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 BibTeX
535
Philippe 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 BibTeX
536
James E. Tomayko (Ed.): Software Engineering Education, SEI Conference, Pittsburgh, Pennsylvania, USA, October7-8, 1991, Proceedings. Springer 1991, ISBN 3-540-54502-6
Contents BibTeX
537
Alfred 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 BibTeX
538
Masakazu Kojima, Nimrod Megiddo, Toshihito Noma, Akiko Yoshise: A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems. Lecture Notes in Computer Science Vol. 538 Springer 1991, ISBN 3-540-54509-3
BibTeX
539
Harold 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 BibTeX
540
Alberto Prieto (Ed.): Artificial Neural Networks, International Workshop, IWANN '91, Granada, Spain, September 17-19, 1991, Proceedings. Springer 1991, ISBN 3-540-54537-9
Contents BibTeX
541
Pedro 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 BibTeX
542
Zbigniew 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 BibTeX
543
Jü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 BibTeX
544
Manfred Broy, Martin Wirsing (Eds.): Method of Programming, Selected Papers on the CIP-Project. Springer 1991, ISBN 3-540-54576-X
Contents BibTeX
545
Henk 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 BibTeX
546
Otthein 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 BibTeX
547
Donald 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 BibTeX
548
Rudolf 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 BibTeX
549
Edoardo 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 BibTeX
550
Axel 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 BibTeX
551
Sø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 BibTeX
552
Sø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 BibTeX
553
Hanspeter 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 BibTeX
554
Gösta Grahne: The Problem of Incomplete Information in Relational Databases. Lecture Notes in Computer Science Vol. 554 Springer 1991, ISBN 3-540-54919-6
BibTeX
555
Hermann 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 BibTeX
556
Jean-Marie Jacquet: Conclog: A Methodological Approach to Concurrent Logic Programming. Lecture Notes in Computer Science Vol. 565 Springer 1991, ISBN 3-540-54938-2
BibTeX
557
Wen-Lian Hsu, Richard C. T. Lee (Eds.): ISA '91 Algorithms, 2nd International Sy,posium on Algorithms, Taipei, Republic of China, December 16-18, 1991, Proceedings. Springer 1991, ISBN 3-540-54945-5
Contents BibTeX
558
Jozef Hooman: Specification and Compositional Verification of Real-Time Systems. Lecture Notes in Computer Science Vol. 558 Springer 1991, ISBN 3-540-54947-1
BibTeX
559
Gregory Butler: Fundamental Algorithms for Permutation Groups. Lecture Notes in Computer Science Vol. 559 Springer 1991, ISBN 3-540-54955-2
BibTeX
560
Somenath 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 BibTeX
561
Cunsheng Ding, Guozhen Xiao, Weijuan Shan: The Stability Theory of Stream Ciphers. Lecture Notes in Computer Science Vol. 561 Springer 1991, ISBN 3-540-54973-0
BibTeX
562
Ruth Breu: Algebraic Specification Techniques in Object Oriented Programming Environments. Lecture Notes in Computer Science Vol. 562 Springer 1991, ISBN 3-540-54972-2
Contents BibTeX
563
Arthur 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 BibTeX
564
Ivan Herman: The Use of Projective Geometry in Computer Graphics. Lecture Notes in Computer Science Vol. 564 Springer 1992
BibTeX
565
Jö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 BibTeX
566
Claude 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 BibTeX
567
Harold 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 BibTeX
568
Hans-Jürgen Bürckert: A Resolution Principle for a Logic with Restricted Quantifiers. Lecture Notes in Computer Science Vol. 568 Springer 1991, ISBN 3-540-55034-8
BibTeX
569
Anthony 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 BibTeX
570
Gunther Schmidt, Rudolf Berghammer (Eds.): 17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991, Proceedings. Springer 1992, ISBN 3-540-55121-2
Contents BibTeX
571
Jan 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 BibTeX
572
Klaus 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 BibTeX
573
Gé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 BibTeX
574
Jean-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 BibTeX
575
Kim 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 BibTeX
576
Joan 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 BibTeX
577
Alain 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 BibTeX
578
Thomas 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. Lecture Notes in Computer Science Vol. 578 Springer 1992, ISBN 3-540-55215-4
BibTeX
579
Sam 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 BibTeX
580
Alain 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 BibTeX
581
Jean-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 BibTeX
582
Bernd 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 BibTeX
583
Imre 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 BibTeX
584
Richard Zippel (Ed.): Computer Algebra and Parallelism, Second International Workshop, Ithaca, USA, May 9-11, 1990. Springer 1992, ISBN 3-540-55328-2
Contents BibTeX
585
Franz 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 BibTeX
586
Andrew Cheese: Parallel Execution of Parlog. Lecture Notes in Computer Science Vol. 586 Springer 1992, ISBN 3-540-55382-7
BibTeX
587
Robert 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 BibTeX
588
Giulio 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 BibTeX
589
Utpal 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 BibTeX
590
Bertram 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 BibTeX
591
Hans 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 BibTeX
592
Andrei 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 BibTeX
593
Pericles Loucopoulos (Ed.): Advanced Information Systems Engineering, CAiSE'92, Manchester, UK, May 12-15, 1992, Proceedings. Springer 1992, ISBN 3-540-55481-5
Contents BibTeX
594
Burkhard 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 BibTeX
595
Mark Levene: The Nested Universal Relation Database Model. Lecture Notes in Computer Science Vol. 595 Springer 1992, ISBN 3-540-55493-9
BibTeX
596
Lars-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 BibTeX
597
Hans W. Guesgen, Joachim Hertzberg: A Perspective of Constraint-Based Reasoning - An Introductory Tutorial. Lecture Notes in Computer Science Vol. 597 Springer 1992, ISBN 3-540-55510-2
BibTeX
598
Stephen 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 BibTeX
599
Thomas 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 BibTeX

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