Logic : form and function; the mechanization of deductive reasoning /

Logic : form and function; the mechanization of deductive reasoning /

41

Podrobná bibliografie
Hlavní autor:	364822 Robinson, J. A.
Médium:
Vydáno:	Edinburgh : Edinburgh University Press, 1979
Témata:	Forms (Mathematics)

Podobné jednotky

Logic : the study of deductive reasoning /
Autor: 367588 Yildirim, Cemal
Vydáno: (1973)

Elements of deductive logic
Autor: Eagle, A
Vydáno: (2008)

Test your logic: 50 puzzles in deductive reasoning/
Autor: Summers, George J
Vydáno: (1972)

Normal forms [filem]
Vydáno: (1971)

Introduction to logic and to the methodology of deductive sciences /
Autor: 319988 Tarski, Alfred, a další
Vydáno: (1946)

Symmetric bilinear forms /
Autor: Milnor, John Willard, 1931-, a další
Vydáno: (1973)

The theory of Jacobi forms /
Autor: 366738 Eichler, Martin, a další
Vydáno: (1985)

Lectures on modular forms /
Autor: Gunning, Robert Clifford, 1931-
Vydáno: (1962)

K-theory of forms /
Autor: 309234 Bak, Anthony
Vydáno: (1981)

Modular forms and functions /
Autor: 364806 Rankin, Robert Alexander
Vydáno: (1977)

Differential forms in mathematical physics/
Autor: 195806 Westenholz, C. Von
Vydáno: (1978)

Differential forms in mathematical physics /
Autor: 195806 Westenholz, C. Von
Vydáno: (1981)

Rational quadratic forms /
Autor: 231773 Cassels, J. W. S.
Vydáno: (1978)

Aspects of form : a symposium on form in nature and art /
Autor: Whyte, Lancelot Law
Vydáno: (1968)

Differential forms /
Autor: Cartan, Henri Paul, 1904-
Vydáno: (1970)

Regular differential forms/
Autor: 331791 Kunz, Ernst, a další
Vydáno: (1988)

Introduction to modular forms /
Autor: Lang, Serge, 1927-
Vydáno: (1976)

Integral quadratic forms /
Autor: 365285 Watson, G. L.
Vydáno: (1960)

Quadratic forms [filem]
Vydáno: (1971)

Studying deductive logic /
Autor: 349761 Berger, Fred R.
Vydáno: (1977)

Logic, inductive and deductive /
Autor: 351135 Minto, William
Vydáno: (1927)

Introductory lectures on automorphic forms /
Autor: 338781 Baily, Walter L.
Vydáno: (1973)

Automorphic forms on GL (2) /
Autor: 362439 Jacquet, Herve, a další
Vydáno: (1970)

Lectures on forms in many variables /
Autor: 261166 Greenberg, Marvin J.
Vydáno: (1969)

Quadratic forms over semilocal rings /
Autor: Baeza, Ricardo, 1942-
Vydáno: (1978)

Automorphic forms on GL(2) : part II /
Autor: 362439 Jacquet, Herve
Vydáno: (1972)

Forms design sheet and layout chart
Autor: 8096 British Standards Institution
Vydáno: (1991)

Ternary quadratic forms and norms /edited by Olga Taussky
Vydáno: (1982)

Spatial representation and reasoning for robot mapping : a shape-based approach /
Autor: 184838 Wolter, Diedrich
Vydáno: (2008)

Normal forms [kasetvideo]
Vydáno: (1971)

Deductive transformation geometry/
Autor: 359661 Burn, R. P.
Vydáno: (1975)

Forming/
Autor: Beaumont, T.
Vydáno: (1986)

Quadratic forms and matrices : an introductory approach /
Autor: 386006 Yefimov, N.
Vydáno: (1964)

Developments in high speed metal forming/
Autor: Davies, Robert, 1935-, a další
Vydáno: (1970)

The consistent preferences approach to deductive reasoning in games /
Autor: 227287 Asheim, Geir B.
Vydáno: (2006)

Criticism in the middle: readerly affect and experimental form
Autor: Pearson, I
Vydáno: (2024)

Techniques of deductive inference /
Autor: Leblanc, Hugues, 1924-
Vydáno: (1966)

Quadrature formulae /
Autor: 401951 Ghizzetti, A., a další
Vydáno: (1970)

Energy dispersive spectrometry of common rock forming minerals /
Autor: 304452 Severin, Kenneth P.
Vydáno: (2004)

Quadratic forms [kasetvideo]
Vydáno: (1971)