Languages
Gallier, Jean H.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Logic for computer science :foundations of automatic theorem proving /
by:
Gallier, Jean H.
(Language materials, printed)
Curves and surfaces in geometric modeling :theory and algorithms /
by:
Gallier, Jean H.
(Language materials, printed)