Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:9465561 > Logic program synth...

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
  • E-bokKonferens
Ä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. 

Bibliotek i norra Sverige (3)

Ange som favorit

Bibliotek i Mellansverige (6)

Ange som favorit

Bibliotek i Stockholmsregionen (3)

Ange som favorit

Bibliotek i östra Sverige (2)

Ange som favorit

Bibliotek i västra Sverige (3)

Ange som favorit

Bibliotek i södra Sverige (3)

Ange som favorit

Sök utanför LIBRIS

Hjälp
Om LIBRIS
Sekretess
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Uppsök

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy