Search
Feedback
About UniCat 
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
Book
ISBN: 0356081753 Year: 1975 Publisher: London Macdonald and Jane's
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*F3 --- 681.3*F41 --- Logics and meanings of programs (Theory of computation) --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F3 Logics and meanings of programs (Theory of computation)
ISBN: 3540074163 0387074163 3540379444 9783540074168 Year: 1975 Volume: 37 Publisher: Berlin: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Combinatory logic --- Programming languages (Electronic computers) --- Langages de programmation --- Congresses. --- Congrès --- #TCPW P3.0 --- 681.3*F41 --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Logique combinatoire --- Congrès --- Computer science. --- Logic, Symbolic and mathematical. --- Mathematical Logic and Formal Languages. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Logique
Book
ISBN: 0828402817 Year: 1975 Publisher: New York
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Conformal mapping --- Harmonic functions --- Potential theory (Mathematics) --- 517.57 --- 517.57 Harmonic functions and their generalizations. Subharmonic functions. Polyharmonic functions. Plurisubharmonic functions --- Harmonic functions and their generalizations. Subharmonic functions. Polyharmonic functions. Plurisubharmonic functions --- Green's operators --- Green's theorem --- Potential functions (Mathematics) --- Potential, Theory of --- Mathematical analysis --- Mechanics --- Functions, Harmonic --- Laplace's equations --- Bessel functions --- Differential equations, Partial --- Fourier series --- Harmonic analysis --- Lamé's functions --- Spherical harmonics --- Toroidal harmonics --- Conformal representation of surfaces --- Mapping, Conformal --- Transformation, Conformal --- Geometric function theory --- Mappings (Mathematics) --- Surfaces, Representation of --- Transformations (Mathematics) --- Mathematical potential theory
| Listing 1 - 3 of 3 |
Sort by
|