Logic program synthesis and transformation. [Elektronisk resurs] : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 1997 : proceedings / Norbert E. Fuchs, ed.
-
International Workshop on Logic Program Synthesis and Transformation (7 : 1997) Leuven (författare)
-
Fuchs, Norbert E (medarbetare)
- Publicerad: Berlin : Springer, cop. 1998
- Engelska 342 s.
-
Serie: Lecture notes in computer science, 1611-3349 ; 1463
- Relaterad länk:
-
http://link.springer... (Table of Contents / Abstracts)
Ämnesord
Stäng
Ämnesord
- Logic programming -- Congresses (LCSH)
Indexterm och SAB-rubrik
- Program synthesis
- Program transformation
- Program analysis
- Metaprogramming
- Inductive logic programming
- Pubb Programmering
- Pubb Programmering
Klassifikation
- 005.1 (DDC)
- 004 (DDC)
- Pubb/DR (kssb/6)
- Pubb (kssb/6)
Inställningar
Hjälp
Titeln finns på 20 bibliotek.
Ange som favorit
-
Luleå universitetsbibliotek, Digitala resurser (LTUd)Ange som favorit
-
Bibliotekets webbplats
-
-
Läs hela (Online access for LTU) (Springer Lecture Notes in Computer Science eBooks)
Öppettider, adress m.m.
-
Mittuniversitetet, Digitala biblioteket (Miun)Ange som favorit
-
Bibliotekets webbplats
-
-
Läs hela (Online access for MIU) (Springer Nature Complete eBooks) (fulltext)
-
Läs hela (Online access for MIU) (Springer Lecture Notes in Computer Science eBooks) (fulltext)
-
Läs hela (Online access for MIU) (Springer Book Archive (Computer Science/LNCS)) (fulltext)
Öppettider, adress m.m.
-
Umeå universitetsbibliotek, Digitala resurser (Qdig)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Online access for UMUB) (fulltext) (Springer Lecture Notes in Computer Science)
Öppettider, adress m.m.
Ange som favorit
-
Högskolan Dalarna, E-biblioteket (HdE)Ange som favorit
-
Bibliotekets webbplatsFind@DU
-
-
Läs hela (Online access for Högskolan Dalarna) (SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present))
Öppettider, adress m.m.
-
Karlstads universitetsbibliotek, Digitala resurser (Kdig)Ange som favorit
-
Titeln i bibliotekets lokala katalogKauLink
-
-
Läs hela (Online access for KaU) (Springer Lecture Notes in Computer Science eBooks) (fulltext)
Öppettider, adress m.m.
-
Mälardalens universitet, Eskilstuna, Universitetsbiblioteket (Mde)Ange som favorit
-
Bibliotekets lokala katalogTillgänglighet vid MDU
-
-
Läs hela (Tillgänglig inom högskolan och externt via proxy-server för forskare och studenter vid Mdh)
-
Placering: Internet (LNCS)
Utlånad?Öppettider, adress m.m.
-
Mälardalens universitet, Digitala resurser (Mdhd)Ange som favorit
-
Bibliotekets webbplats
-
-
Läs hela (Tillgänglig för användare inom Mälardalens högskola) (fulltext) (SpringerLink Books - AutoHoldings)
Öppettider, adress m.m.
-
Mälardalens universitet, Västerås, Universitetsbiblioteket (Mdv)Ange som favorit
-
Bibliotekets lokala katalogTillgänglighet vid MDU
-
-
Läs hela (Tillgänglig inom högskolan och externt via proxy-server för forskare och studenter vid Mdh)
-
Placering: Internet (LNCS)
Utlånad?Öppettider, adress m.m.
-
Örebro universitetsbibliotek, Digitala resurser (Odig)Ange som favorit
-
-
Läs hela (Tillgänglig inom Örebro universitet och externt för studenter och anställda vid universitetet) (fulltext) (Lecture Notes in Computer Science)
Öppettider, adress m.m.
Ange som favorit
-
Stockholms universitetsbibliotek, Digitala resurser (Hdig)Ange som favorit
-
-
Läs hela (Tillgänglig för användare inom Stockholms universitet) (SpringerLink Books - AutoHoldings:Full Text)
Öppettider, adress m.m.
-
Patent- och registreringsverket, Biblioteket (Pvd)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Tillgänglig på PRV) (Springer Lecture Notes in Computer Science eBooks) (fulltext)
Öppettider, adress m.m.
-
Kungliga Tekniska högskolan, E-resurser (Tdig)Ange som favorit
-
Bibliotekets lokala katalogTillgång för KTH Biblioteket
-
-
Läs hela (Online access for KTHB) (fulltext) (Springer)
Öppettider, adress m.m.
Ange som favorit
-
Linköpings universitetsbibliotek (Li)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Extern access endast anställda och studenter vid LiU)
-
Placering: Internet (LNCS)
Utlånad?Öppettider, adress m.m.
-
Linköpings universitetsbibliotek, E-resurser (LiUd)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Extern tillgång endast anställda och studenter vid LiU) (Springer Book Archive (Computer Science/LNCS)) (Springer Lecture Notes in Computer Science eBooks)
Öppettider, adress m.m.
Ange som favorit
-
Göteborgs universitetsbibliotek, E-resurser (Gdix)Ange som favorit
-
Bibliotekets lokala katalogFind@GU
-
-
Läs hela (Tillgänglig för Göteborgs universitet / Online access for the University of Gothenburg) (Springer eBooks:Full Text)
Öppettider, adress m.m.
-
Högskolan i Skövde, biblioteket (Skov)Ange som favorit
-
Bibliotekets webbplats
-
-
Placering: Internet (LNCS) (Endast tillgänglig för forskare och studenter vid Högskolan i Skövde)
Öppettider, adress m.m.
-
Chalmers tekniska högskola, E-resurser (Zdig)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Online access for Chalmers) (Springer Book Archive - Collection)
Öppettider, adress m.m.
Ange som favorit
-
Lunds universitets bibliotek, Digitala resurser (Ldix)Ange som favorit
-
Titeln i bibliotekets lokala katalog
-
-
Läs hela (Online access for Lund University) (Springer Book Archive (Computer Science/LNCS)) (Springer Lecture Notes in Computer Science eBooks)
Utlånad?Öppettider, adress m.m.
-
Linnéuniversitetet, Universitetsbiblioteket, E-resurser (LnuE)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Online access for Linnaeus University) (fulltext) (Springer Lecture Notes in Computer Science eBooks)
Öppettider, adress m.m.
-
Malmö universitetsbibliotek, E-resurser (Maud)Ange som favorit
-
Bibliotekets webbplats
-
-
Läs hela (Online access for MAU) (Springer Lecture Notes in Computer Science eBooks) (fulltext)
Öppettider, adress m.m.