1163 search results - page 14 / 233 » Department of Redundancy Department |
ELP
1989
13 years 11 months ago
1989
BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...
TARK
1992
Springer
13 years 11 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
ECIS
2000
13 years 9 months ago
2000
This paper describes the work of an EPSRC (Engineering and Physical Sciences Research Council) and DETR (Department for the Environment and the Regions) funded research project
WEBNET
1998
13 years 9 months ago
1998
: A laboratory course for undergraduate students of phonetics has been developed and tested at the Department of Phonetics at Ume
ENTCS
2002
13 years 7 months ago
2002
Abstract Stephen L. Bloom Department of Computer Science Stevens Institute of Technology Hoboken, NJ 07030 and Zolt