close
1.

図書
図書
1. Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
Michael Hanus, Jan Heering, Karl Meinke, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1997  x, 286 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1298
所蔵情報: loading…
2.

図書
図書
2. Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings
Michael Hanus, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  viii, 344 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1139
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Applications of Declarative Programming and Knowledge Management
International Conference on Applications of Declarative Programming and Knowledge Management, Takeo Kanade, Dietmar Seipel, Ulrich Geske, Michael Hanus
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Practical Aspects of Declarative Languages
Michael Hanus, David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Logic-Based Program Synthesis and Transformation
Michael Hanus, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Applications of Declarative Programming and Knowledge Management
Dietmar Seipel, Michael Hanus, Takeo Kanade, Armin Wolf
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
A Guide for Manual Construction of Difference-List Procedures / Ulrich Geske ; Hans-Joachim Goltz
Constraints
Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource / Armin Wolf ; Gunnar Schrader
Efficient Edge-Finding on Unary Resources with Optional Activities (Revised and Extended Version) / Sebastian Kuhnert
Encoding of Planning Problems and Their Optimizations in Linear Logic / Lukáš Chrpa ; Pavel Surynek ; Jiří Vyskočil
Constraint-Based Timetabling System for the German University in Cairo / Slim Abdennadher ; Mohamed Aly ; Marlien Edward
Databases and Data Mining
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications / Andreas M. Boehm ; Dietmar Seipel ; Albert Sickmann ; Matthias Wetzka
Relational Models for Tabling Logic Programs in a Database / Pedro Costa ; Ricardo Rocha ; Michel Ferreira
Integrating XQuery and Logic Programming / Jesús M. Almendros-Jiménez ; Antonio Becerra-Terón ; Francisco J. Enciso-Baños
Causal Subgroup Analysis for Detecting Confounding / Martin Atzmueller ; Frank Puppe
Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining
Extensions of Logic Programming
Integrating Temporal Annotations in a Modular Logic Language / Vitor Nogueira ; Salvador Abreu
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators / Grzegorz J. Nalepa ; Igor Wojnicki
The Kiel Curry System KICS / Bernd Braβel ; Frank Huch
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics / Francisco J. López-Fraguas ; Juan Rodríguez-Hortalá ; Jaime Sánchez-Hernández
Java Type Unification with Wildcards / Martin Plümicke
System Demonstrations
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT / Johannes Oetsch ; Martina Seidl ; Hans Tompits ; Stefan Woltran
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics / Martin Gebser ; Jörg Pührer ; Torsten Schaub
Author Index
Invited Talk
A Guide for Manual Construction of Difference-List Procedures / Ulrich Geske ; Hans-Joachim Goltz
Constraints
7.

電子ブック
ＥＢ
7. Practical Aspects of Declarative Languages
Michael Hanus, David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
8.

図書
図書
8. Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004 and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers
Dietmar Seipel ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  x, 308 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3392 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Algebraic and Logic Programming
Hanus, Michael Hanus, Mario Rodríguez Artalejo
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1996
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Algebraic and Logic Programming
Michael Hanus, Michael Hanus, J. Heering, Karl Meinke
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1997
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼