Kluźniak, Feliks.
Kluźniak, Feliks, 1951-
Feliks Kluźniak polský informatik, působí na University of Texas, specialista na programovací jazyky
VIAF ID: 108124578 ( Personal )
Permalink: http://viaf.org/viaf/108124578
Preferred Forms
- 100 0 _ ‡a Feliks Kluźniak ‡c polský informatik, působí na University of Texas, specialista na programovací jazyky
- 100 1 _ ‡a Kluźniak, Feliks
- 100 1 _ ‡a Kluźniak, Feliks
-
-
-
- 100 1 _ ‡a Kluźniak, Feliks
- 100 1 _ ‡a Kluźniak, Feliks
-
-
-
-
Works
Title | Sources |
---|---|
Enriching prolog with S-unification | |
[Korespondencja Leszka Kołakowskiego]. | |
PageBreak : an exercise in specification and derivation | |
Prolog for programmers | |
SPILL : a specification language based on logic programming | |
Towards practical executable specifications in logic | |
Type synthesis for Ground Prolog |