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
61 Logic programming - proceedings of the joint international conference and symposium on logic programming D.C. : Joint International Conference and Symposium on Logic Programming 1992) (Washington 1992 Engelska
62-63 Logic programming and nonmonotonic reasoning - 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings (flera utgåvor) International Conference on Logic Programming and Nonmonotonic Reasoning 1999) El Paso : cop. 1999 Engelska
64-65 Logic for programming and automated reasoning - 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings (flera utgåvor) International Conference on Logic for Programming and Automated Reasoning 2000) Reunion Island : cop. 2000 Engelska
66-67 Logic for programming, artificial intelligence, and reasoning - 8th international conference proceedings (flera utgåvor) Artificial Intelligence and Reasoning 2001 Havana) International Conference on Logic for Programming cop. 2001 Engelska
68 Logic programming and nonmonotonic reasoning Germany) International Conference on Logic Programming and Nonmonotonic Reasoning 1997 : Dagstuhl Castle cop. 1997 Engelska
69 Visual Sensemaking Needs Both Vision and Semantics - On Logic-Based Declarative Neurosymbolism for Reasoning about Space and Motion 2023 July 9-15 United Kingdom London 39th International Conference on Logic Programming (ICLP 2023) Jakob Suchan 2023 Engelska
70 Context-sensitive multivariant assertion checking in modular programs And Reasoning : 13/11/2006 - 17/11/2006 Aritficial Intelligence International Conference on Logic for Programming 2006 Engelska

Förra sidan 1 2 3 4

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.