Sökning: onr:278830 > Logic programming b...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Logic programming based on a natural deduction system / by A. Seif Haridi.
-
- Haridi, Seif, 1953- (författare)
-
- Alternativt namn: Haridi, A. Seif, 1953-
- Publicerad: Stockholm, 1981
- Engelska [6], 201 s.
- Serie: Trita-CS, 0347-1179 ; 8104
- BokAvhandling(Diss. Stockholm : Tekn. högsk.)
Inga andra utgåvor av "Logic programming based on a natural deduction system" hittades
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Sök vidare
Hjälp
- Fler titlar av
- Haridi, Seif, 1953-
- Fler titlar om
- Programmering
- Serie
- Fler delar
Sök utanför LIBRIS
Hjälp
- Sök vidare i:
- Google Book Search
- Google Scholar
- LibraryThing
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
