Libros en Ciencias de la Computación

Animal Cognition and Behavior
1 Edición
Volumen 13
R.L. Mellgren
Inglés
Contributed chapters by psychologists and behavioral biologists provide a broad coverage of animal behavior, and governing brain processes. Topics covered include: foraging behavior and strategies, economics and psychology, memory of events and space, time perception, expectancies, food preferences and diet selection, behavior variability and the concept of mind.The volume is designed to satisfy an intderdisciplinary audience, embracing the behavioristic tradition, biological and physiological approaches, and evolutionary theory as philosophical underpinnings to the chapters. Also achieved in this work is a good balance between empirical results and theory.
Algebra of Proofs
1 Edición
Volumen 88
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 15
Lev D. Beklemishev
Inglés
An Algebraic Approach to Non-Classical Logics
1 Edición
Volumen 78
Lev D. Beklemishev
Inglés
Proceedings of the Second Scandinavian Logic Symposium
1 Edición
Volumen 63
Lev D. Beklemishev
Inglés
Set Theory
1 Edición
Volumen 76
Lev D. Beklemishev
Inglés
A Transfinite Type Theory with Type Variables
1 Edición
Volumen 37
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 30
Lev D. Beklemishev
Inglés
Sets and Classes on The Work by Paul Bernays
1 Edición
Volumen 84
Lev D. Beklemishev
Inglés
Generalized Recursion Theory
1 Edición
Volumen 79
Lev D. Beklemishev
Inglés
Studies in Logic and the Foundations of Mathematics
1 Edición
Volumen 42
Lev D. Beklemishev
Inglés
Proof Theory
1 Edición
Volumen 81
Lev D. Beklemishev
Inglés
The Theory of Semisets
1 Edición
Volumen 70
Lev D. Beklemishev
Inglés
SET THEORY
1 Edición
Volumen 86
Lev D. Beklemishev
Inglés
Constructive Order Types
1 Edición
Volumen 56
Lev D. Beklemishev
Inglés
Computer Programming and Formal Systems
1 Edición
Volumen 26
Lev D. Beklemishev
Inglés
WORD PROBLEMS II
1 Edición
Volumen 95
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 18
Lev D. Beklemishev
Inglés
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
1 Edición
Volumen 99
Lev D. Beklemishev
Inglés
Intuitionistic Logic Model Theory and Forcing
1 Edición
Volumen 54
Lev D. Beklemishev
Inglés
Sets, Models and Recursion Theory
1 Edición
Volumen 46
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 17
Lev D. Beklemishev
Inglés
DNA Sequencing
1 Edición
Volumen 10
J. Hindley
Inglés
This volume provides a comprehensive description of the principles and methods used in DNA sequencing. Following a detailed introduction the chapters are: DNA sequencing; Chain terminator sequencing; Primed synthesis methods applied to DNA fragments cloned into phage M13; DNA sequencing by the Maxam-Gilbert chemical procedure; Computer methods for DNA sequencers; Appendices including contractions and special terms, cloning vectors, commercially available restriction endonucleases, and autoradiography.
Provability, Computability and Reflection
1 Edición
Volumen 20
Lev D. Beklemishev
Inglés
Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.
Provability, Computability and Reflection
1 Edición
Volumen 29
Lev D. Beklemishev
Inglés
Intuitionism An Introduction
1 Edición
Volumen 41
Lev D. Beklemishev
Inglés
Elements of Mathematical Logic
1 Edición
Volumen 48
Lev D. Beklemishev
Inglés
Contributions to Non-Standard Analysis
1 Edición
Volumen 69
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 13
Lev D. Beklemishev
Inglés
Logic Colloquium '78, Proceedings of the colloquium held in Mons
1 Edición
Volumen 97
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 27
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 31
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 33
Lev D. Beklemishev
Inglés
The Collected Papers of Gerhard Gentzen
1 Edición
Volumen 55
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 32
Lev D. Beklemishev
Inglés
Axiomatic Set Theory
1 Edición
Volumen 21
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 5
Lev D. Beklemishev
Inglés
LOGIC COLLOQUIUM '69
1 Edición
Volumen 61
Lev D. Beklemishev
Inglés
Contributions to Mathematical Logic
1 Edición
Volumen 50
Lev D. Beklemishev
Inglés
Generalized Recursion Theory II
1 Edición
Volumen 94
Lev D. Beklemishev
Inglés
The Problem of Inductive Logic
1 Edición
Volumen 51
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 11
Lev D. Beklemishev
Inglés
Quantitative Psychology
Some Chosen Problems and New Ideas
1 Edición
Volumen 15
M. Nowakowska
Inglés
Examining selected statistical and modeling approaches in psychology, the book concentrates on the topics of mental test theory and theory of measurement. The main objective is not only to present a critical view of the approaches suggested up until now, but also their reinterpretation, extension and enrichment by new theories and concepts, for example, formal theories of semiotics and knowledge, and a unifying theory of actions.The book also shows a relation between test theory and the foundations of fuzzy set theory. It presents new models of measurement tools and new measurement theories of concepts such as objective and subjective time, risk or utility, and discusses the cognitive foundations of these theories, namely the theory of perception and observability.
Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities
1 Edición
Volumen 59
Lev D. Beklemishev
Inglés
Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
1 Edición
Volumen 74
Lev D. Beklemishev
Inglés
Logic, Methodology and Philosophy of Science III
1 Edición
Volumen 52
Lev D. Beklemishev
Inglés
Combinatorial Set Theory
1 Edición
Volumen 91
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 14
Lev D. Beklemishev
Inglés
Foundational Studies
1 Edición
Volumen 93B
Lev D. Beklemishev
Inglés
Formal Systems and Recursive Functions
1 Edición
Volumen 40
Lev D. Beklemishev
Inglés

Descubrar libros e ebooks

Áreas temáticas

Títulos en inglés

Libros en Ciencias de la Computación

Animal Cognition and Behavior

Algebra of Proofs

Provability, Computability and Reflection

An Algebraic Approach to Non-Classical Logics

Proceedings of the Second Scandinavian Logic Symposium

Set Theory

A Transfinite Type Theory with Type Variables

Provability, Computability and Reflection

Sets and Classes on The Work by Paul Bernays

Generalized Recursion Theory

Studies in Logic and the Foundations of Mathematics

Proof Theory

The Theory of Semisets

SET THEORY

Constructive Order Types

Computer Programming and Formal Systems

WORD PROBLEMS II

Provability, Computability and Reflection

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

Intuitionistic Logic Model Theory and Forcing

Sets, Models and Recursion Theory

Provability, Computability and Reflection

DNA Sequencing

Provability, Computability and Reflection

Provability, Computability and Reflection

Intuitionism An Introduction

Elements of Mathematical Logic

Contributions to Non-Standard Analysis

Provability, Computability and Reflection

Logic Colloquium '78, Proceedings of the colloquium held in Mons

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

The Collected Papers of Gerhard Gentzen

Provability, Computability and Reflection

Axiomatic Set Theory

Provability, Computability and Reflection

LOGIC COLLOQUIUM '69

Contributions to Mathematical Logic

Generalized Recursion Theory II

The Problem of Inductive Logic

Provability, Computability and Reflection

Quantitative Psychology

Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Logic, Methodology and Philosophy of Science III

Combinatorial Set Theory

Provability, Computability and Reflection

Foundational Studies

Formal Systems and Recursive Functions

Temas relacionados