登入選單
Google圖書搜尋
Principal Types for Object-oriented Languages
作者
Andreas V. Hense / Gert Smolka
出版2011
ISBN
OCLC:881630544
Multi-dimensional dependency grammar as multigraph...
作者
Ralph Debusmann / Gert Smolka
出版2007
ISBN
OCLC:875607078
Attributive Description Formalisms and the Rest of...
作者
Bernhard Nebel / Gert Smolka
出版2012
ISBN
OCLC:882514810
TEL (version 0.9)
作者
Gert Smolka
出版2023
ISBN
OCLC:1396217404
A Verification of Extensible Record Types
作者
Gert Smolka
出版1992
ISBN
OCLC:29188554
Order-sorted Horn Logic
作者
Gert Smolka
出版2023
ISBN
OCLC:1389377477
Principle Types for Object-oriented Languages
作者
Andreas V. Hense / Gert Smolka / Universität des Saarlandes. Fachbereich Informatik
出版1993
ISBN
OCLC:606204385
Basic Narrowing Revisited
作者
Werner Nutt / Pierre Réty / Gert Smolka / Fachbereich Informatik, Universität Kaiserslautern
出版1987
ISBN
OCLC:46106884
Definite Relations Over Constraint Languages
作者
Markus Höhfeld / Gert Smolka / IBM Deutschland
出版1988
ISBN
OCLC:606160064
Principles and Practice of Constraint Programming
出版1997
ISBN
UOM:39015040309794
主題
Constraint programming (Computer science)
A Foundation for Higher-order Concurrent Constrain...
作者
Gert Smolka
出版2011
ISBN
OCLC:881628188
Completeness and confluence properties of Kowalski...
作者
Gert Smolka
出版1982
ISBN
OCLC:440618934
Records for Logic Programming
出版2000
ISBN
OCLC:930959514
A Calculus for Higher-order Concurrent Constraint ...
作者
Gert Smolka
出版2011
ISBN
OCLC:881628181
Attributive Concept Descriptions with Unions and C...
作者
Manfred Schmidt-Schauß / Gert Smolka
出版2023
ISBN
OCLC:1389382102
Order-Sorted Equational Computation
作者
Gert Smolka / Werner Nutt / Joseph A. Goguen / José Meseguer
出版2023
ISBN
OCLC:1396210936
Residuation and Guarded Rules for Constraint Logic...
出版2000
ISBN
OCLC:930958794
Object-Oriented Concurrent Constraint Programming ...
作者
Gert Smolka / Martin Henz / Jörg Würtz / Deutsches Forschungszentrum für Künstliche Intelligenz
出版1993
ISBN
OCLC:475787493
A Complete and Recursive Feature Theory
作者
Rolf Backofen / Gert Smolka
出版2011
ISBN
OCLC:881626488
A Feature-based Constraint System for Logic Progra...
作者
Hassan Aït-Kaci / Andreas Podelski / Gert Smolka
出版2011
ISBN
OCLC:881626576
Feature Constraint Logics for Unification Grammars
作者
Gert Smolka
出版1990
ISBN
OCLC:634799804
Order-sorted Unification
作者
José Meseguer / Joseph A. Goguen / Gert Smolka
出版1987
ISBN
OCLC:18419382
主題
Logic, Symbolic and mathematical
Programming Languages and Systems
作者
Gert Smolka
出版Springer, 2014-03-12
ISBN
3662203537 / 9783662203538
主題
Computers
Order-sorted Unification
作者
José Meseguer
出版1984
ISBN
OCLC:12030700
主題
Communication
Order-sorted Horn Logic
作者
Gert Smolka / Fachbereich Informatik, Universität Kaiserslautern
出版1990
ISBN
OCLC:46095892
A Feature Constraint System for Logic Programming ...
作者
Digital Equipment Corporation. Paris Research Laboratory / Hassan Aït-Kaci / Andreas Podelski / Gert Smolka
出版1992
ISBN
OCLC:254318506
主題
Constraints (Artificial intelligence)
Representation and Reasoning with Attributive Desc...
作者
Bernhard Nebel / Gert Smolka
出版1989
ISBN
OCLC:46142803
Logic Programming Over Polymorphically Order-sorte...
作者
Gert Smolka
出版1989
ISBN
OCLC:1012301956
A feature logic with subsorts
作者
Gert Smolka
出版1988
ISBN
OCLC:46131440
Fresh: a Higher-order Language with Unification an...
作者
Gert Smolka / Prakash Panangaden
出版1985
ISBN
OCLC:16650586
主題
Programming languages (Electronic computers)