Found 57 Documents (Results 1–57)

Inductive definability and the situation calculus. (English) Zbl 0927.03059

Freitag, Burkhard (ed.) et al., Transactions and change in logic databases. International seminar on Logic databases and the meaning of change, Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS ’97 post-conference workshop on (Trans)Actions and change in logic programming and deductive databases, DYNAMICS ’97, Port Jefferson, NY, USA, October 17, 1997. Berlin: Springer. Lect. Notes Comput. Sci. 1472, 227-248 (1998).
MSC:  03B70

X-Räume als Verallgemeinerung topologischer Räume. (X-spaces as generalizations of topological spaces). (German) Zbl 0723.54003

Karlsruhe: Univ. Karlsruhe, Fak. f. Mathematik, Diss. 142 S. (1990).

Differential forms in algebraic topology. Transl. from the English by I. V. Savel’ev and G. S. Shmelev. Transl. ed. by A. A. Kirillov. (Дифференциальные формы в алгебраической топологии.) (Russian) Zbl 0675.55002

Moskva: Nauka. 336 p. R. 3.20 (1989).

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field