Extensions of logic programming : Proceedings, Tübingen, FRG, Dec. 8 - 10, 1989 /
Saved in:
| Main Author: | Andreoli, Jean-Marc |
|---|---|
| Corporate Author: | Proceedings FRG, Tübingen |
| Other Authors: | Schroeder-Heister, P. (Editor) |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin :
Springer,
1991
|
| Edition: | [1st ed.] |
| Series: | Lecture notes in artificial intelligence : Subseries of Lecture notes in computer science
Vol. 475 |
| Subjects: | |
| ISBN: | 354053590X |
| Online Access: |
|
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Loading…
Logic program synthesis and transformation : Proceedings, Utrecht, The Netherlands, Sept. 20 - 22, 1995 /
by: Leuschel, Michael
Published: (1996)
by: Leuschel, Michael
Published: (1996)
Loading…
Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
by: Pierro, Alessandra Di
Published: (1996)
by: Pierro, Alessandra Di
Published: (1996)
Loading…
C++ programming : from problem analysis to program design /
by: Malik, D. S.
Published: (2007)
by: Malik, D. S.
Published: (2007)
Loading…
FORTRAN 77 for engineers and scientists /
by: Nyhoff, Larry
Published: (1988)
by: Nyhoff, Larry
Published: (1988)
Loading…
Logical design of switching circuits /
by: Lewin, Douglas
Published: (1969)
by: Lewin, Douglas
Published: (1969)
Loading…
Introduction to the logical design of switching systems /
by: Torng, H. C.
Published: (1964)
by: Torng, H. C.
Published: (1964)
Loading…
A programming language /
by: Iverson, Kenneth E.
Published: (1962)
by: Iverson, Kenneth E.
Published: (1962)
Loading…
C pro mikrokontroléry PIC : práce s PIC18F452 a PIC18F1220 v jazyce C /
by: Matoušek, David 1972-
Published: (2011)
by: Matoušek, David 1972-
Published: (2011)
Loading…
Programming language design and implementation : PLDI'17 ; proceedings of the 38th ACM SIGPLAN conference ; Barcelona, Spain, June 18 - 23, 2017 /
Published: (2017)
Published: (2017)
Loading…
Fortran programming /
by: Stuart, Fredric
Published: (1969)
by: Stuart, Fredric
Published: (1969)
Loading…
Turbo Pascal. An introduction to the art and science of programming /
by: Savitch, Walter J. 1943-
Published: (1992)
by: Savitch, Walter J. 1943-
Published: (1992)
Loading…
The evolution of type theory in logic and mathematics /
by: Laan, Twan Dismas Laurens
Published: (1997)
by: Laan, Twan Dismas Laurens
Published: (1997)
Loading…
Java /
by: Daněček, Jiří
Published: (2002)
by: Daněček, Jiří
Published: (2002)
Loading…
Advances in artificial intelligence : Proceedings, Toronto, Canada, May 21 - 24, 1996 /
by: Anderson, John
Published: (1996)
by: Anderson, John
Published: (1996)
Loading…
Oracle PL/SQL programming /
by: Feuerstein, Steven
Published: (1997)
by: Feuerstein, Steven
Published: (1997)
Loading…
Learning to program with Visual Basic /
by: Mackeown, Patrick G.
Published: (1999)
by: Mackeown, Patrick G.
Published: (1999)
Loading…
Formal semantics of programming languages /
Published: (1972)
Published: (1972)
Loading…
Optimization and computational logic /
by: Macaloon, Ken
Published: (1996)
by: Macaloon, Ken
Published: (1996)
Loading…
The Java tutorial. Object-oriented programming for the Internet /
by: Campione, Mary
Published: (1998)
by: Campione, Mary
Published: (1998)
Loading…
Programming, the impossible challenge /
by: Walraet, Bob
Published: (1989)
by: Walraet, Bob
Published: (1989)
Loading…
Java database programming /
by: Jepson, Brian
Published: (1997)
by: Jepson, Brian
Published: (1997)
Loading…
ObjectWindows for C++. A shortcut to Windows programming /
by: Traister, Robert J.
Published: (1993)
by: Traister, Robert J.
Published: (1993)
Loading…
SDL '89. The language at work : Proceedings of the 4th SDL forum, Lisbon, Portugal, 9 - 13 Oct. 1989 /
by: Faergemand, Ove
Published: (1989)
by: Faergemand, Ove
Published: (1989)
Loading…
Příklady z automatického řízení /
by: Hofreiter, Milan 1952-
Published: (2009)
by: Hofreiter, Milan 1952-
Published: (2009)
Loading…
Fortran IV : a programmed instruction approach /
by: Couger, J. Daniel, et al.
Published: (1968)
by: Couger, J. Daniel, et al.
Published: (1968)
Loading…
Programování v Turbo Pascalu 6.0 /
by: Kvoch, Martin
Published: (1992)
by: Kvoch, Martin
Published: (1992)
Loading…
Architectural support for programming languages and operating systems : proceedings of the 25th ACM conference; Lausanne, Switzerland ; March 16-20, 2020 /
Published: (2020)
Published: (2020)
Loading…
WEB programming unleashed /
by: Breedlove, Bob
Published: (1996)
by: Breedlove, Bob
Published: (1996)
Loading…
Architectural support for programming languages and operating systems : proceedings of the 24th ACM conference; Providence, RI, USA; April 13-17, 2019/
Published: (2019)
Published: (2019)
Loading…
Linear programming and extensions /
by: Dantzig, George B.
Published: (1972)
by: Dantzig, George B.
Published: (1972)
Loading…
Computer usage 360 Fortran programming : computer usage company /
Published: (1969)
Published: (1969)
Loading…
Programming with Java /
by: Bradley, Julia Case
Published: (2002)
by: Bradley, Julia Case
Published: (2002)
Loading…
Učebnice AutoLISPu. Pro AutoCAD v. 10, 11 a 12 /
by: Hlavenka, Jiří 1964-
Published: (1993)
by: Hlavenka, Jiří 1964-
Published: (1993)
Loading…
Architectural support for programming languages and operating systems : ASPLOS XXVI, twenty-six international conference; online ; April 19-23, 2021 /
Published: (2021)
Published: (2021)
Loading…
The anatomy of programming languages /
by: Fischer, Alice E.
Published: (1993)
by: Fischer, Alice E.
Published: (1993)
Loading…
Higher order logic theorem proving and its applications : Proceedings of the IFIP TC10/WG10.2 internat. workshop, Leuven, Belgium, 21 - 24 Sept., 1992 /
by: Melham, Thomas F.
Published: (1993)
by: Melham, Thomas F.
Published: (1993)
Loading…
Simulace systémů : 2. severomoravské symposium soc. států, 1989 /
by: Košturiak, Ján 1961-
Published: (1989)
by: Košturiak, Ján 1961-
Published: (1989)
Loading…
Your wish is my command. Programming by example /
by: Liebermann, Henry
Published: (2001)
by: Liebermann, Henry
Published: (2001)
Loading…
Functional programming and input/output /
by: Gordon, Andrew D., 1964-
Published: (2008)
by: Gordon, Andrew D., 1964-
Published: (2008)
Loading…
Object-oriented software construction /
by: Meyer, Bertrand
Published: (1997)
by: Meyer, Bertrand
Published: (1997)
Similar Items
-
Logic program synthesis and transformation : Proceedings, Utrecht, The Netherlands, Sept. 20 - 22, 1995 /
by: Leuschel, Michael
Published: (1996) -
Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
by: Pierro, Alessandra Di
Published: (1996) -
C++ programming : from problem analysis to program design /
by: Malik, D. S.
Published: (2007) -
FORTRAN 77 for engineers and scientists /
by: Nyhoff, Larry
Published: (1988) -
Logical design of switching circuits /
by: Lewin, Douglas
Published: (1969)

