Examinando Logic 101 - 120 de 1511 resultados

Libro electrónico
Logic Programming
23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
- 1st Edición
- Verónica Dahl; ‎Ilkka Niemelä
- Springer
- Diseño fijo
A partir de:S/ 56.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Ordered Sets
An Introduction
- Bernd Schröder
- Birkhäuser
- Diseño fijo
A partir de:S/ 56.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Functional and Logic Programming
8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
- 1st Edición
- Masami Hagiya; ‎Philip Wadler
- Springer
- Diseño fijo
A partir de:S/ 56.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
A Tale of Discrete Mathematics: A Journey Through Logic, Reasoning, Structures and Graph Theory
- Joseph Khoury
- WSPC
- Diseño ajustable
S/ 201.16 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Multi-Valued Fields
- Yuri L. Ershov
- Springer
- Diseño fijo
A partir de:S/ 213.78 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings
- 1st Edición
- Yamine AitAmeur; ‎Shin Nakajima; ‎Dominique Méry
- Springer
- Diseño ajustable
A partir de:S/ 101.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Evolving Rule-Based Models
A Tool for Design of Flexible Adaptive Systems
- Plamen P. Angelov
- Physica
- Diseño fijo
A partir de:S/ 101.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formale Logik
Logische Systeme. Einführung in die Metalogik
- 1st Edición
- Ludwik Borkowski
- De Gruyter
- Diseño fijo
S/ 535.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
Symposium Proceedings, San Servolo, Venice, Italy, May 16–22, 1999
- 1st Edición
- Ulrich Berger; Horst Osswald; Peter Schuster
- Springer
- Diseño fijo
A partir de:S/ 162.63 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Rough Sets
Mathematical Foundations
- Lech Polkowski
- Physica
- Diseño fijo
A partir de:S/ 56.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Reductive Logic and Proof-search
Proof Theory, Semantics, and Control
- David J. Pym; Eike Ritter
- Clarendon Press
- Diseño fijo
A partir de:S/ 361.38 PENEl precio incluye IGV
Ver detalles

Libro electrónico
From Synapses to Rules
Discovering Symbolic Rules from Neural Processed Data
- 1st Edición
- Bruno Apolloni; Franz Kurfess
- Springer
- Diseño fijo
A partir de:S/ 162.63 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Soft Computing
Integrating Evolutionary, Neural, and Fuzzy Systems
- Andrea Tettamanzi; Marco Tomassini
- Springer
- Diseño fijo
A partir de:S/ 56.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
New Trends in Quantum Systems in Chemistry and Physics
Volume 2 Advanced Problems and Complex Systems Paris, France, 1999
- 1st Edición
- J. Maruani; Christian Minot; R. McWeeny
- Springer
- Diseño fijo
A partir de:S/ 162.63 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Komplexitätstheorie
Grenzen der Effizienz von Algorithmen
- Ingo Wegener
- Springer
- Diseño fijo
A partir de:S/ 40.91 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Logic-Based Program Synthesis and Transformation
16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
- 1st Edición
- Germán Puebla
- Springer
- Diseño fijo
A partir de:S/ 56.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Substructural Logics: A Primer
- F. Paoli
- Springer
- Diseño fijo
A partir de:S/ 244.46 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Domain Theory, Logic and Computation
Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
- 1st Edición
- GuoQiang Zhang; ‎J. Lawson; ‎Ying Ming Liu
- Springer
- Diseño fijo
A partir de:S/ 162.63 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Proof Theory
History and Philosophical Significance
- 1st Edición
- Vincent F. Hendricks; ‎Stig Andur Pedersen; ‎Klaus Frovin Jørgensen
- Springer
- Diseño ajustable
A partir de:S/ 101.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Fundamentals of Computation Theory
16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings
- 1st Edición
- Erzsébet CsuhajVarjú; ‎Zoltán Ésik
- Springer
- Diseño fijo
A partir de:S/ 101.26 PENEl precio incluye IGV
Ver detalles