Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
International workshop on term...
Cite this
Text this
Email this
Print
Export Record
Export to EndNoteWeb
Export to BibTeX
Export to RIS
Permanent link
International workshop on terminological logics Dagstuhl-Seminar-Report; 12 6.5.-18.5.1991(9119)
Bibliographic Details
Other Authors:
Luck von, Kai
(Editor)
,
Nebel, Bernhard
(Editor)
,
Peltason, Christof
(Editor)
Format:
Book
Language:
English
Subjects:
IBFI
Ηλεκτρονικοί υπολογιστές
>
Γλώσσες προγραμματισμού
SEMINAR REPORT
TERMINOLOGY
Holdings
Description
Similar Items
Staff View
Similar Items
Logical theory for program construction Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109)
Automata theory and applications in logic and complexity Dagstuhl-Seminar-Report; 5 14.-18.1.1991(9103)
Functional languages:optimization for parallelism Dagstuhl-Seminar-Report; 3 3.9.1990-8.9.1990(9036)
Deduction Dagstuhl-Seminar-Report; 58 08.03.-12.03.93(9310)
Self-timed design Dagstuhl-Seminar-Report; 52 30.11.-04.12.92(9249)
Geometric modelling Dagstuhl-Seminar-Report; 67 28.06.-02.07.93(9326)
Tree adgjoining grammars 1st. International Workshop on TAGs: Formal theory and applications Dagstuhl-Seminar-Report 15. - 17.8.1990(9033)
Informatik und philosopie Dagstuhl-Seminar-Report; 48 21.09.-25.09.92(9239)
Analogical and inductive inference 1992 Dagstuhl-Seminar-Report; 49 05.10.-09.10.92(9241)
Formal aspects of object base dynamics Dagstuhl-Seminar-Report; 62 26.04.-30.04.93(9317)
Geometric modelling Dagstuhl-Seminar-Report; 17 1.-5.7.1991(9127)
Computer science logic Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229)
Operating systems of the 90s and beyond Dagstuhl-Seminar-Report; 18 8.-12.7.1991(9128)
Code generation-concerts, tools, techniques Dagstuhl-Seminar-Report; 13 20.-24.5.1991(9121)
Efficient interpolation algorithms Dagstuhl-Seminar-Report; 26 2.-6.12.91(9149)
Entwerfen, Prufen, Testen Dagsthl-Seminar-Report; 6 18.2.1991-22.2.1991(9108)
Algorithms and complexity for continuous problems Dagstuhl-Seminar-Report; 50 12.10.-16.10.92(9242)
"Average-Case"-Analysis of algorithms Dagstuhl-Seminar-Report; 68 12.07.-16.07.93(9328)
Integration of functional and logic programming Dagstuhl-Seminar-Report; 10 18.-22.3.1991(9112)
Semantics of programming languages and algebra Dagstuhl-Seminar-report; 65 07.06.-11.06.93(9323)
Concurrent systems:semantics, specification, and synthesis Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111)
Molecular bioiformatics Dagstuhl-Seminar-Report; 46 07.09.-11.09.92(9237)
Software construction-Foundation and application Dagstuhl-Seminar-Report; 29 13.-17.1.92(9203)
Automata theory:distributed models Dagstuhl-Seminar-Report; 54 11.01.-15.01.93(9302)
6th international workshop on unification Dagstuhl-Seminar-Report; 42 29.07.-31.07.92(9231)
Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143)
Experimental software engineering issues Dagstuhl-Seminar-Report; 47 14.09.-18.09.92(9238)
Third international workshop on user modeling (UM'92) Dagstuhl-Seminar-Report; 44 10.08.-13.08.92(9233)
Programming enviroments Dagstuhl-Seminar-Report; 34 9.-13.3.92(9211)
Algorithms and complexity for continuous problems Dagstuhl-Seminar-Report; 11 15-19.4.1991(9116)
Scientific visualization Dagstuhl-Seminar-Report; 19 26.8.-30.8.91(9135)
Computational geometry Dagstuhl-Seminar-Report; 22 07.10.-11.10.91(9141)
Data structures Dagstuhl-Seminar-Report; 25 4.11.-8.11.91(9145)
Computational geometry Dagstuhl-Seminar-Report; 59 22.03.-26.03.93(9312)
Descriptional complexity Dagstuhl-Seminar-Report; 63 03.05.-07.05.93(9318)
Algebraic complexity and parallelism Dagstuhl-Seminar-Report; 41 20.-24.7.92(9230)
Structure and complexity theory Dagstuhl-Seminar-Report; 30 3.-7.2.92(9206)
Automata theory:infinite computations Dagstuhl-Seminar-Report; 28 6.-10.1.92(9202)
Distributed cooperation in integrated information systems Dagstuhl-Seminar-Report; 38 %.-9.4.92(9215)
Limits of information-technological models Dagstuhl-Seminar-Report; 31 10.-14.2.92(9207)
Similar Items
Logical theory for program construction Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109)
Automata theory and applications in logic and complexity Dagstuhl-Seminar-Report; 5 14.-18.1.1991(9103)
Functional languages:optimization for parallelism Dagstuhl-Seminar-Report; 3 3.9.1990-8.9.1990(9036)
Deduction Dagstuhl-Seminar-Report; 58 08.03.-12.03.93(9310)
Self-timed design Dagstuhl-Seminar-Report; 52 30.11.-04.12.92(9249)
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών
