Foundations of inductive logic programming

Foundations of inductive logic programming

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Nienhuys-Cheng, Shan-Hwei (Συγγραφέας), Wolf de, Ronald (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer-Verlag c1997
Σειρά:	Lecture Notes in Computer Science / G. Goos and J. Hartmanis 1228
Θέματα:	COMPUTER PROGRAMMING LOGIC PROGRAMMING ΕΠΕΑΕΚ

Παρόμοια τεκμήρια

From logic to logic programming
ανά: Doets, Kees
Έκδοση: (1994)

Logic programming
Έκδοση: (1982)

Logic Programming and Databases
ανά: Ceri, S., κ.ά.
Έκδοση: (1990)

Logic programming Proceedings of the 5th International Conference and Symposium
Έκδοση: (1988)

Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
Έκδοση: (1987)

Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
Έκδοση: (1987)

Constraint Logic Programming Selected Research
Έκδοση: (1993)

Programming with Constraints An Introduction
ανά: Marriott, Kim, κ.ά.
Έκδοση: (1998)

Autonomous model-based diagnosis agents
ανά: Schroeder, Michael
Έκδοση: (1998)

Logic programming Proceedings of the 5th International Conference and Symposium
Έκδοση: (1988)

Computing in Horn Clause Theories
ανά: Padawitz, Peter
Έκδοση: (1988)

Measuring programmer productivity and software quality
ανά: Arthur, Lowell Jay
Έκδοση: (1985)

Introduction to algorithms
ανά: Cormen, Thomas H., κ.ά.
Έκδοση: (1990)

Foundations of Inductive Logic Programming
ανά: Nienhuys-Cheng, Shan-Hwei, κ.ά.
Έκδοση: (1997)

The logic programming paradigm A 25-year perspective
Έκδοση: (1999)

Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143)

Integration of functional and logic programming Dagstuhl-Seminar-Report; 10 18.-22.3.1991(9112)

Parallel Programming Techniques and applications using networked workstations and parallel computers
ανά: Wilkinson, Barry, κ.ά.
Έκδοση: (1999)

Parallel Programming in Open MP
ανά: Chandra, Rohit, κ.ά.
Έκδοση: (2001)

Logic programming Proceedings of the 4th Conference. Tokyo, Japan, July 1-3, 1985.
Έκδοση: (1986)

Foundations of logic programming
ανά: Lloyd, J. W. 1947- (John Wylie)
Έκδοση: (1984)

Programming Languages Design and implementation
ανά: Pratt, Terrence W., κ.ά.
Έκδοση: (2001)

Logic synthesis and verification algorithms
ανά: Hatchtel, Gary D., κ.ά.
Έκδοση: (1996)

Programming Perl
ανά: Christiansen, Tom, κ.ά.
Έκδοση: (1996)

Foundations of Disjunctive Logic Programming
ανά: Lobo, Jorge, κ.ά.
Έκδοση: (1992)

The logic of programming
ανά: Hehner, Eric C.
Έκδοση: (1984)

Introduction to Parallel Algorithms and Architectures:Arrays, Trees, Hypercubes
ανά: Leighton, F. T.
Έκδοση: (1992)

Higher order logic and harware verification
ανά: Melham, T.
Έκδοση: (1993)

Verilog HDL A guide to digital design and synthesis
ανά: Palnitkar, Samir
Έκδοση: (1996)

The Verilog hardware description language
ανά: Moorby, Philip R., κ.ά.
Έκδοση: (1998)

Introduction to HOL A theorem proving environment for higher order logic
Έκδοση: (1993)

Web Programming with Perl5
ανά: Deng, Brian, κ.ά.
Έκδοση: (1997)

Logic programming and knowledge engineering
ανά: Amble, Tore
Έκδοση: (1987)

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
Έκδοση: (2013)

Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers /
Έκδοση: (2012)

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers /
Έκδοση: (2016)

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers /
Έκδοση: (2017)

8080 Programming for Logic Design
Έκδοση: (1976)

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers /
Έκδοση: (2015)

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers /
Έκδοση: (2014)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών