Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:8587841 > A type-based framew...

A type-based framework for locating errors in constraint logic programs / Paweł Pietrzak

Pietrzak, Paweł (författare)
ISBN 91-7373-422-5
Linköping : Dep. of Computer and Information Science, Univ., 2002
Engelska xii, 211 s.
Serie: Linköping studies in science and technology. Dissertations, 0345-7524 ; 772
  • BokAvhandling(Diss. Linköping : Univ., 2002)
Innehållsförteckning Ämnesord
Stäng  
  • xii s., s. [1]-22: sammanfattning, s. [23]-211: 5 uppsatser. 

Ämnesord

Programmering  (sao)
Artificiell intelligens  (sao)
Computer programming  (LCSH)
Artificial intelligence  (LCSH)

Indexterm och SAB-rubrik

CLP

Klassifikation

005.1 (DDC)
006.3 (DDC)
Pubb (kssb/7)
Pud (kssb/7)
Inställningar Hjälp

Titeln finns på 10 bibliotek. 

Bibliotek i norra Sverige (2)

Ange som favorit

Bibliotek i Stockholmsregionen (3)

Ange som favorit

Bibliotek i östra Sverige (2)

Ange som favorit

Bibliotek i västra Sverige (1)

Ange som favorit

Bibliotek i södra Sverige (2)

Ange som favorit
Om LIBRIS
Sekretess
Blogg
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
Sondera
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