Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:278830 > Logic programming b...

Logic programming based on a natural deduction system / by A. Seif Haridi

Haridi, Seif, 1953- (författare)
Alternativt namn: Haridi, A. Seif, 1953-
Stockholm, 1981
Engelska [6], 201 s.
Serie: Trita-CS, 0347-1179 ; 8104
  • BokAvhandling(Diss. Stockholm : Tekn. högsk.)
Ämnesord
Stäng  

Ämnesord

Programmering 

Klassifikation

519.68 (UDK)
001.642 (DDC)
Pu (kssb)
Inställningar Hjälp

Titeln finns på 6 bibliotek. 

Bibliotek i norra Sverige (1)

Ange som favorit

Bibliotek i Mellansverige (1)

Ange som favorit

Bibliotek i Stockholmsregionen (2)

Ange som favorit

Bibliotek i västra Sverige (1)

Ange som favorit

Bibliotek i södra Sverige (1)

Ange som favorit

Sök utanför LIBRIS

Hjälp
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

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

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