Search for 'su:Predicate calculus'

Solving the frame problem : a mathematical investigation of the common sense law of inertia /

By Shanahan, Murray. Cambridge : The Mit Press, 1997 . XXXIV, 407 p. : 24 cm.. 0262193841

Place Hold on Solving the frame problem : a mathematical investigation of the common sense law of inertia /

Calculus and computer science theory : proceedings of the Symposium held in Rome, March 25-27, 1975 /

Berlin : Springer Verlag, 1975 . XII, 370 p. ; 24 cm.. 3540074163

Place Hold on Calculus and computer science theory : proceedings of the Symposium held in Rome, March 25-27, 1975 /

Advanced calculus /

By Loomis, Lynn H.. Reading : Addison-Wesley Pub. Co., 1968 . 580 p. : 24 cm..

Place Hold on Advanced calculus /

An introduction to functional programming through lambda calculus /

By Michaelson, Greg,. Wokingham : Addison Wesley, 1989 . XV, 320 p. ; 23 cm.. 0201178125

Place Hold on An introduction to functional programming through lambda calculus /

Dynamic optimization : the calculus of variations and optimal control in economics and management /

By Kamien, Morton I.. New York : North-Holland, 1981 . XI, 331 p. : 24 cm.. 0444004246

Place Hold on Dynamic optimization : the calculus of variations and optimal control in economics and management /

The calculus of variations and optimal control : an introduction /

By Leitmann, George. New York : Plenum Press, 1981 . XVI, 311 p. : 24 cm.. 0306407078

Place Hold on The calculus of variations and optimal control : an introduction /

The lambda calculus : its syntax and semantics /

By Barendregt, Hendrik Pieter. Amsterdam : North-Holland Pub. Co., 1981 . XIV, 615 p. : 23 cm.. 0444854908

Place Hold on The lambda calculus : its syntax and semantics /

Variational calculus in science and engineering /

By Forray, Marvin J.. New York : McGraw-Hill, 1968 . XI, 221 p. : 23 cm..

Place Hold on Variational calculus in science and engineering /

Vol. 3: Analisi 2

By Apostol, Tom Mike. Torino : Bollati Boringhieri, 1978 . IX, 475 p. : 24 cm..

Place Hold on Vol. 3: Analisi 2

Computational learning and probabilistic reasoning /

Chichester : Wiley, 1996 . XII, 312 p. : 25 cm.. 0471962791

Place Hold on Computational learning and probabilistic reasoning /

Vol. 2: Ito calculus

By Rogers, L. C. G.. Chichester : Wiley, 1987 . XIII, 475 p. : 24 cm.. 0471943800

Place Hold on Vol. 2: Ito calculus

Linear differential operators /

By Lanczos, Cornelius. Philadelphia : SIAM, 1996 . XVII, 564 p. ; 23 cm.. 0898713706

Place Hold on Linear differential operators /

The Mallavin calculus and related topics /

By Nualart, David. New York : Springer-Verlag, 1995 . XI, 266 p. : 24 cm.. 038794432X

Place Hold on The Mallavin calculus and related topics /

Variational methods in economics /

By Hadley, George F.. Amsterdam ; North-Holland Pub. Co., 1971 . IX, 378 p. ; 23 cm.. 0444100970

Place Hold on Variational methods in economics /

Stochastic calculus and stochastic models /

By McShane, Edward James. New York : Academic Press, 1974 . X, 239 p. ; 24 cm.. 0124862500

Place Hold on Stochastic calculus and stochastic models /

Variational analysis : critical extremals and Sturmian extensions /

By Morse, Marston. New York : J. Wiley, 1973 . XI, 260 p. ; 24 cm.. 0471617008

Place Hold on Variational analysis : critical extremals and Sturmian extensions /

Recursive number theory : a develpment of recursive arithmetic in a logic-free equation calculus /

By Goodstein, R. L.. Amsterdam : Nort-Holland, 1964 . XII, 190 p. ; 21 cm..

Place Hold on Recursive number theory : a develpment of recursive arithmetic in a logic-free equation calculus /

Methods of intermediate problems for eigenvalues : theory and ramifications /

By Weinstein, Alexander. New York : Academic Press, 1972 . XI, 236 p. ; 24 cm.. 0127424504

Place Hold on Methods of intermediate problems for eigenvalues : theory and ramifications /

Mathematical foundations of the calculus of probability /

By Neveu, Jacques. San Francisco : Holden-Day, 1965 . XIII, 223 p. ; 24 cm..

Place Hold on Mathematical foundations of the calculus of probability /

Elements of queueing theory : Palm-Martingale calculus and stochastic recurrences /

By Baccelli, Francois. Berlin ; New York : Springer-Verlag, 1994 . IX, 256 p. : 24 cm.. 3540533478

Place Hold on Elements of queueing theory : Palm-Martingale calculus and stochastic recurrences /