Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Theorem proving and logic prog...
Cite this
Text this
Email this
Print
Export Record
Export to EndNoteWeb
Export to BibTeX
Export to RIS
Permanent link
Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143)
Bibliographic Details
Other Authors:
Comon, H.
(Editor)
,
Ganzinger, H.
(Editor)
,
Kirchner, C.
(Editor)
Format:
Book
Language:
English
Subjects:
IBFI
LOGIC PROGRAMMING
SEMINAR REPORT
Holdings
Description
Similar Items
Staff View
Similar Items
Integration of functional and logic programming Dagstuhl-Seminar-Report; 10 18.-22.3.1991(9112)
Analogical and inductive inference 1992 Dagstuhl-Seminar-Report; 49 05.10.-09.10.92(9241)
Informatik und philosopie Dagstuhl-Seminar-Report; 48 21.09.-25.09.92(9239)
Computational geometry Dagstuhl-Seminar-Report; 22 07.10.-11.10.91(9141)
Deduction Dagstuhl-Seminar-Report; 58 08.03.-12.03.93(9310)
Geometric modelling Dagstuhl-Seminar-Report; 67 28.06.-02.07.93(9326)
Self-timed design Dagstuhl-Seminar-Report; 52 30.11.-04.12.92(9249)
Formal aspects of object base dynamics Dagstuhl-Seminar-Report; 62 26.04.-30.04.93(9317)
Tree adgjoining grammars 1st. International Workshop on TAGs: Formal theory and applications Dagstuhl-Seminar-Report 15. - 17.8.1990(9033)
Efficient interpolation algorithms Dagstuhl-Seminar-Report; 26 2.-6.12.91(9149)
Algorithms and complexity for continuous problems Dagstuhl-Seminar-Report; 50 12.10.-16.10.92(9242)
Computer science logic Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229)
Data structures Dagstuhl-Seminar-Report; 25 4.11.-8.11.91(9145)
Trends and applications in formal language theory Dagstuhl-Seminar-Report; 23 14.10.-18.10.91(9142)
Scientific visualization Dagstuhl-Seminar-Report; 19 26.8.-30.8.91(9135)
Automata theory:infinite computations Dagstuhl-Seminar-Report; 28 6.-10.1.92(9202)
Limits of information-technological models Dagstuhl-Seminar-Report; 31 10.-14.2.92(9207)
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)
Entwerfen, Prufen, Testen Dagsthl-Seminar-Report; 6 18.2.1991-22.2.1991(9108)
Automata theory:distributed models Dagstuhl-Seminar-Report; 54 11.01.-15.01.93(9302)
"Average-Case"-Analysis of algorithms Dagstuhl-Seminar-Report; 68 12.07.-16.07.93(9328)
Algebraic complexity and parallelism Dagstuhl-Seminar-Report; 41 20.-24.7.92(9230)
Third international workshop on user modeling (UM'92) Dagstuhl-Seminar-Report; 44 10.08.-13.08.92(9233)
Code generation-concerts, tools, techniques Dagstuhl-Seminar-Report; 13 20.-24.5.1991(9121)
Complexity and realization of Boolean Functions Dagstuhl-Seminar-Report; 45 24.08.-28.08.92(9235)
Geometric modelling Dagstuhl-Seminar-Report; 17 1.-5.7.1991(9127)
Programming enviroments Dagstuhl-Seminar-Report; 34 9.-13.3.92(9211)
Directions of future database research Dagstuhl-Seminar-Report; 21 9.9.-12.9.91(9137)
Computational geometry Dagstuhl-Seminar-Report; 59 22.03.-26.03.93(9312)
Descriptional complexity Dagstuhl-Seminar-Report; 63 03.05.-07.05.93(9318)
Structure and complexity theory Dagstuhl-Seminar-Report; 30 3.-7.2.92(9206)
Operating systems of the 90s and beyond Dagstuhl-Seminar-Report; 18 8.-12.7.1991(9128)
Distributed cooperation in integrated information systems Dagstuhl-Seminar-Report; 38 %.-9.4.92(9215)
Experimental software engineering issues Dagstuhl-Seminar-Report; 47 14.09.-18.09.92(9238)
Versioning in database management systems Dagstuhl-Seminar-Report; 55 01.02.-05.02.93(9305)
Semantics of programming languages and algebra Dagstuhl-Seminar-report; 65 07.06.-11.06.93(9323)
Foundations of information systems specification and design Dagstuhl-Seminar-Report; 35 16.-19.3.9.(9212)
Algorithmic geometry Dagstuhl-Seminar-Report; 4 8.10.1990-12.10.1990(9041)
Architecture and protocols for high-speed networks Dagstuhl-Seminar-Report; 71 30.08.-03.09.93(9335)
Similar Items
Integration of functional and logic programming Dagstuhl-Seminar-Report; 10 18.-22.3.1991(9112)
Analogical and inductive inference 1992 Dagstuhl-Seminar-Report; 49 05.10.-09.10.92(9241)
Informatik und philosopie Dagstuhl-Seminar-Report; 48 21.09.-25.09.92(9239)
Computational geometry Dagstuhl-Seminar-Report; 22 07.10.-11.10.91(9141)
Deduction Dagstuhl-Seminar-Report; 58 08.03.-12.03.93(9310)
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών
