Veroff, Robert.
Veroff, Robert, 1953-
Veroff, Robert, 19..-....
Robert Veroff americký matematik a informatik, vysokoškolský pedagog informatiky, působí též na ČVUT v Praze
VIAF ID: 11273886 ( Personal )
Permalink: http://viaf.org/viaf/11273886
Preferred Forms
- 100 0 _ ‡a Robert Veroff ‡c americký matematik a informatik, vysokoškolský pedagog informatiky, působí též na ČVUT v Praze
- 200 _ | ‡a Veroff ‡b Robert
-
-
-
- 100 1 _ ‡a Veroff, Robert
-
-
- 100 1 _ ‡a Veroff, Robert
-
- 100 1 _ ‡a Veroff, Robert
-
- 100 1 _ ‡a Veroff, Robert, ‡d 19..-....
-
-
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Automated reasoning and its applications : essays in honor of Larry Wos | |
Intermediate problem solving and data structures : walls and mirrors | |
Rewriting prover9 | |
Slaney's logic F** is constructive logic with strong negation |