Cargando…

Pathways of deduction

Detalles Bibliográficos
Autor principal:	Carbone, A
Lenguaje:	eng
Publicado:	2000
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/478429

Ejemplares similares

Labelled deduction
por: Basin, David, et al.
Publicado: (2000)

Automated deduction: a basis for applications
por: Bibel, Wolfgang, et al.
Publicado: (1998)

Intuition et déduction en mathématiques
por: Leclercq, Bruno
Publicado: (2015)

The Consistent Preferences Approach to Deductive Reasoning in Games
por: Asheim, Geir B
Publicado: (2006)

Natural Deduction, Hybrid Systems and Modal Logics
por: Indrzejczak, Andrzej
Publicado: (2010)

The shaping of deduction in Greek mathematics: a study in cognitive history
por: Netz, Reviel
Publicado: (1999)

Advances in natural deduction: a celebration of Dag Prawitz's work
por: Pereira, Luiz, et al.
Publicado: (2014)

Inference on the low level: an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition
por: Leitgeb, Hannes
Publicado: (2004)

Group Cancellation and Resolution
por: Carbone, A
Publicado: (2002)

Cooperativity and symmetry at biological scales
por: Carbone, A
Publicado: (2002)

Cycling in proofs, feasibility and no speed-up for nonstandard arithmetic
por: Carbone, A
Publicado: (1996)

Propositional proofs via combinatorial geometry and the search for symmetry
por: Carbone, A, et al.
Publicado: (1996)

Circuits and self-assembling DNA structures
por: Carbone, A, et al.
Publicado: (2002)

Coding and Geometrical Shapes in Nanostructures: A Fractal DNA-Assembly
por: Carbone, A, et al.
Publicado: (2003)

Non-uniform lattices on uniform trees
por: Carbone, Lisa
Publicado: (2001)

Codon Adaptation Index as a measure of dominating codon bias
por: Carbone, A, et al.
Publicado: (2002)

Unbounded functionals in the calculus of variations: representation, relaxation, and homogenization
por: Carbone, Luciano, et al.
Publicado: (2001)

Receptorligand sorting along the endocytic pathway
por: Linderman, Jennifer J, et al.
Publicado: (1989)

New Pathways between Group Theory and Model Theory
por: Droste, Manfred, et al.
Publicado: (2017)

Model-centered learning: pathways to mathematical understanding using geogebra
por: Morgan, Konrad, et al.
Publicado: (2011)

Excursions in classical analysis: pathways to advanced problem solving and undergraduate research
por: Chen, Hongwei
Publicado: (2010)

Deductive Biocomputing
por: Shrager, Jeff, et al.
Publicado: (2007)

Deductive databases : theory and applications
por: Dahr, Michael, 1963-
Publicado: (1997)

An imaginary tale: the story of [the square root of] -1
por: Nahin, Paul J
Publicado: (2006)

Mathematical model of STAT signalling pathways in cancer development and optimal control approaches
por: Lee, Jonggul, et al.
Publicado: (2021)

Dependencies in Deductive Databases./
por: Hernández, Héctor J.

Studying deductive logic /
por: Berger, Fred R., 1937-
Publicado: (1977)

Theorems and problems in functional analysis
por: Kirillov, A A, et al.
Publicado: (1982)

Partial differential equations of mathematical physics
por: Tychonov, A N, et al.
Publicado: (1964)

GL$_{q}$(N)-covariant braided differential bialgebras
por: Isaev, A P, et al.
Publicado: (1994)

15th Workshop on Geometric Methods in Physics: Quantizations, Deformations and Coherent States
por: Twareque, A S, et al.
Publicado: (1996)

Tautness and applications of the Alexander-Spanier cohomology of K-type
por: Dabbour, A S A, et al.
Publicado: (1998)

Branching solutions to one-dimensional variational problems
por: Ivanov, A O, et al.
Publicado: (2001)

Multiparameter stability theory with mechanical applications
por: Seyranian, A P, et al.
Publicado: (2003)

Coverings of tame boxes and algebras
por: Drozd, Y A, et al.
Publicado: (2000)

The Mathieu groups
por: Ivanov, A A
Publicado: (2018)

Geometry of sporadic groups I: Petersen and tilde geometries
por: Ivanov, A A
Publicado: (1999)

Mathematical tables: tables of in g [z] for complex argument
por: Abramov, A A
Publicado: (1960)

The monster group and Majorana involutions
por: Ivanov, A A
Publicado: (2009)

Bounded and almost periodic solutions of nonlinear operator differential equations
por: Pankov, A A
Publicado: (1990)

Cannot write session to /tmp/vufind_sessions/sess_rj6omkk2u11m0up49n55o40d3s