Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: International Conference on Logic Programming
70 träffar
|
Titel |
Författare |
År |
Språk |
41-42 |
Inductive logic programming - 10th international conference, ILP 2000, London, UK, July 24-27, 2000 : proceedings
(flera utgåvor)
|
International Conference on Inductive Logic Programming 2000) London :
|
cop. 2000 |
Engelska |
43-44 |
Inductive logic programming - 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001
(flera utgåvor)
|
International Conference on Inductive Logic Programming 2001 : Strasbourg)
|
cop |
Engelska |
45 |
Non-monotonic extensions of logic programming - selected papers : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994
|
International Conference on Logic Programming (1994 : Santa Margherita Ligure)
|
1995 |
Engelska |
46-48 |
Algebraic and logic programming - proceedings
(flera utgåvor)
|
|
cop. 1992 |
Engelska |
49 |
Algebraic and logic programming - 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings
|
International Conference on Algebraic nad Logic Programming 1994) Madrid :
|
cop. 1994 |
Engelska |
50 |
Algebraic and logic programming
|
International Conference on Algebraic and Logic Programming 1996) Aachen :
|
co. 1996 |
Engelska |
51 |
Automatic binding-related error diagnosis in logic programs
|
International Conference on Logic Programming : 08/09/2007 - 13/09/2007
|
2007 |
Engelska |
52 |
Logic programming. - proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
|
Germany) Joint International Conference and Symposium on Logic Programming (1996 : Bonn
|
©1996 |
Engelska |
53-54 |
Principles of declarative programming - proceedings
(flera utgåvor)
|
|
cop. 1998 |
Engelska |
55 |
Algebraic and Logic Programming
|
International Joint Conference on Algebraic and Logic Programming 1997) Southampton :
|
cop. 1997 |
Engelska |
56 |
Logic programming and automated reasoning
|
International Conference on Logic Programming and Automated Reasoning 1994) Kiev :
|
1994 |
Engelska |
57 |
Logic programming and nonmonotonic reasoning - proceedings
|
International Conference on Logic Programming and Nonmomotoric Reasoning 1995) Lexington :
|
cop. 1995 |
Engelska |
58-59 |
Logic programming and nonmonotonic reasoning - 6th international conference : proceedings, LPNMR 2001, Vienna, Austria, September 17-19, 2001
(flera utgåvor)
|
International Conference on Logic Programming and Nonmonotonic Reasoning 2001 : Wien)
|
cop. 2001 |
Engelska |
60 |
Logic for programming and automated reasoning - 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
|
International Conference on Logic for Programming and Automated Reasoning 1999) Tbilisi :
|
cop. 1999 |
Engelska |
Förra sidan
1
2
3
4
Nästa sida
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.