Result 1 to 20 of 59 total
Proof analysis. A contribution to Hilbert’s last problem. (English)
Cambridge: Cambridge University Press (ISBN 978-1-107-00895-3/hbk). xi, 265~p. \sterling~55.00; \$~90.00 (2011).
1
Defining the meaning of tabular mathematical expressions. (English)
Sci. Comput. Program. 75, No. 11, 980-1000 (2010).
2
Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics. (English)
J. Log. Comput. 20, No. 2, 399-424 (2010).
3
Applying category theory to improve the performance of a neural architecture. (English)
Neurocomputing 72, No. 13-15, 3158-3173 (2009).
4
Jon Barwise’s papers on natural language semantics. (English)
Bull. Symb. Log. 10, No. 1, 54-85 (2004).
5
Cutlike semantics for fuzzy logic and its applications. (English)
Int. J. Gen. Syst. 32, No. 4, 305-319 (2003).
6
A really fuzzy approach to the sorites paradox. (English)
Synthese 134, No.3, 363-387 (2003).
7
Knowledge representation and management in ACTIVEMATH. (English)
Ann. Math. Artif. Intell. 38, No.1-3, 47-64 (2003).
8
Floating point verification in HOL light: The exponential function. (English)
Form. Methods Syst. Des. 16, No. 3, 271-305 (2000).
9
Floating point verification in HOL LIght: The exponential function. (English)
Form. Methods Syst. Des. 16, No. 3, 271-305 (2000).
10
Continuations: A mathematical semantics for handling full jumps. (English)
High.-Order Symb. Comput. 13, No.1-2, 135-152 (2000).
11
Continuations revisited. (English)
High.-Order Symb. Comput. 13, No.1-2, 131-133 (2000).
12
Logic specifications for CAD systems transformation. (Russian)
Izv. Vyssh. Uchebn. Zaved., Sev.-Kavk. Reg., Estestv. Nauki 1999, No.3, 21-23 (1999).
13
Set-theoretic completeness for epistemic and conditional logic. (English)
Ann. Math. Artif. Intell. 26, No.1-4, 1-27 (1999).
14
Mathematical vernacular and conceptual well-formedness in mathematical language. (English)
Lecomte, Alain (ed.) et al., Logical aspects of computational linguistics. 2nd international conference, LACL ’97. Nancy, France, September 22-24, 1997. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1582, 231-250 (1999).
15
Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999. (English)
Electronic Notes in Theoretical Computer Science. 20. Amsterdam: Elsevier, 27 papers (electronic) (1999).
16
The principles of mathematics revisited. (English)
Cambridge: Cambridge University Press. xii, 288 p. \sterling 13.95; \$ 18.95 (1998).
17
Handbook of logic and language. (English)
Amsterdam: North-Holland. xxiii, 1247 p. Dfl 178.25 (1997).
18
A mathematical model for describing structured itmes of conceptual level. (English)
Informatica, Ljubl. 20, No. 1, 5-32 (1996).
19
The principles of mathematics revisited. (English)
Cambridge: Cambridge Univ. Press. xii, 288 p. \sterling 40.00; \$ 59.95 (1996).
20
Result 1 to 20 of 59 total
Start
Contact
Print
General Help
