A Tactic Calculus

A Tactic Calculus

Bibliographic Details
Main Authors:	Martin, A, Gardiner, P, Woodcock, J
Format:	Journal article
Published:	1996

Similar Items

Of Tactics and Monads
by: Martin, A
Published: (1996)

A Monadic Interpretation of Tactics
by: Martin, A, et al.
Published: (2015)

A TACTICAL ERROR IN THE ANALYSIS OF TACTICAL VOTING - REPLY
by: Evans, G, et al.
Published: (1993)

A Tactic Language for Ergo
by: Martin, A, et al.
Published: (1997)

A calculus for schemes in Z
by: Brien, S, et al.
Published: (2000)

A Calculus for Schemas in Z
by: Brien, S, et al.
Published: (2000)

Calculus /
by: 215246 Hunter, J.
Published: (1972)

Calculus /
by: James, D. J. G.
Published: (1977)

CALCULUS /
by: Strauss, Monty J., author 363251, et al.
Published: (2002)

Calculus /
by: Bradley, Gerald L., 1940-, et al.
Published: (1995)

Calculus /
by: 178982 Varberg, Dale E., et al.
Published: (1997)

Calculus /
by: 313866 Hunt, Richard A.
Published: (1994)

Calculus /
by: 178982 Varberg, Dale E., et al.
Published: (2000)

Calculus /
by: 358471 Varberg, Dale, et al.
Published: (2007)

Transform calculus for electrical engineers/
by: 184499 Legros, Roger, et al.
Published: (1961)

Calculus for technicians /
by: Bird, J. O. (John Bird) 272932, et al.
Published: (1979)

TacticAI: an AI assistant for football tactics
by: Zhe Wang, et al.
Published: (2024-03-01)

Calculus : analytic geometry and calculus, with vectors /
by: 402762 Agnew, Ralph Palmer
Published: (1962)

Tuplix Calculus
by: J.A. Bergstra, et al.
Published: (2008-12-01)

Calculus and the computer /
by: 312471 Gordon, Sheldon P.
Published: (1986)

Calculus /
by: 388844 Bittinger, Marvin L.
Published: (1996)

The hitchhiker's guide to calculus : a calculus course companion /
by: 338830 Spivak, Michael
Published: (1995)

Advanced calculus : a sequel to an elementary treatise on the calculus /
by: 237750 Gibson, George Alexander
Published: (1931)

Pi+-Calculus: A Calculus for Concurrent Processes with Constraints
by: Juan Francisco Diaz, et al.
Published: (1998-12-01)

Calculus /
by: 392302 Anton, Howard, et al.
Published: (2005)

Calculus /
by: 316500 Smith, Robert T. (Robert Thomas), 1955-, et al.
Published: (2000)

Calculus /
by: Stewart, James, 1941-
Published: (1999)

Calculus /
by: 250561 Larson, Roland, et al.
Published: (2014)

Calculus /
by: 316500 Smith, Robert T. (Robert Thomas), 1955-, et al.
Published: (c201)

Calculus /
by: L.Briggs,William?UNAUTHORIZED
Published: (2011)

Calculus /
by: Mohammed Arif
Published: (2013)

Calculus /
by: 231653 Trim, Donald W.
Published: (1993)

Calculus.
by: 316500 Smith, Robert T. (Robert Thomas), 1955-, et al.
Published: (2012)

Calculus /
by: 316500 Smith, Robert T. (Robert Thomas), 1955-, et al.
Published: (2002)

CALCULUS /
by: Stewart, James, author 218121
Published: (1999)

CALCULUS /
by: Stewart, James, 1941- 240952
Published: (2009)

Calculus /
by: Stewart, James, 1941-
Published: (2003)

Calculus /
by: 413811 Grossman, Stanley I.
Published: (1977)

Calculus /
by: 413740 Matthews, Geoffrey
Published: (1980)

Calculus /
by: 399824 Loomis, Lynn H.
Published: (1977)