Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1994
Alle Filter entfernen
Zeige Ergebnisse 61 bis 70 von 105.

  1. Gregor Erbach; Mark van der Kraan; Suresh Manandhar; M. Andrew Moshier; Herbert Ruessink; Craig Thiersch (Hrsg.)

    The Reusability of Grammatical Resources. Deliverable C

    Edinburgh, Saarbrücken, Tilburg, Utrecht, 1994.

  2. Günter Neumann

    A Uniform Computational Model for Natural Language Parsing and Generation. Saarbruecken Dissertations in Computational Linguistics and Language Technology. Vol. 1

    PhD-Thesis, Universität des Saarlandes, Computational Linguistics, 1994.

  3. Günter Neumann

    Application of Explanation-Based Learning for Efficient Processing of Constraint-Based Grammars

    In: Proceedings of the 10th IEEE Conference on Artificial Intelligence for Applications, March 1-4. IEEE Conference on Artificial Intelligence for Applications, 10th, March 1-4, San Antonio, TX, USA, Pages 208-215, 1994.

  4. Gregor Erbach

    Specification of Datatypes for LFG

    In: Gregor Erbach; Mark van der Kraan; Suresh Manandhar; M. Andrew Moshier; Herbert Ruessink; Craig Thiersch (Hrsg.). The Reusability of Grammatical Resources. Deliverable B: Specification of Datatypes. Edinburgh, Saarbrücken, Tilburg, Utrecht, 1994.

  5. Ansgar Bernardi

    PIM - Planning in Manufacturing. Ein featurebasiertes Arbeitsplanungssystem

    In: Workshop Feature Technology in Design and Manufacturing. Workshop Feature Technology in Design and Manufacturing, August 29-30, Saarbrücken, Germany, 8/1994.

  6. R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; Dieter Hutter; Claus Sengler; Jörg Siekmann; Werner Stephan; A. Wolpers; W. Reif; E. Canver; F. W. von Henke

    Verification Support Enviroment (VSE)

    In: Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. Deutscher IT-Sicherheitskongress der BSI, 3. SecuMedia, Ingelheim, 1994.

  7. R. Förster et al.

    VSE-Benutzerhandbuch, Teil I - III

    Manual, Bundesamt für Sicherheit in der Informationstechnik, 1994.

  8. Dieter Hutter; Jürgen Cleve

    A Methodology for Equational Reasoning

    In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences: Information Systems: DSS/Knowledge-based Systems. Hawaii International Conference on System Sciences (HICSS), 27th, January 4-7, Maui, Hawaii, USA, Vol. III, IEEE Computer Society Press, Los Alamitos, California, 1994.

  9. Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on Systems for Computer-Aided Specification, Development and Verification, July 4-5, Kiel, Germany, Techical Report, Vol. 9416, Universität Kiel, 1994.

  10. Dieter Hutter

    Synthesizing Induction Orderings for Existence Proofs

    In: M.C. Golumbic (Hrsg.). Proceedings of the Third International Symposium on Artificial Intelligence and Mathematics. International Symposium on Artificial Intelligence and Mathematics, 3rd, Fort Lauderdale, FL, USA, 1994.

Jahr