biblio toscana

Libri preferiti

Accedi all'area personale per aggiungere e visualizzare i tuoi libri preferiti

Area Personale

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Titolo

Autore

Soggetto

Ordinamento Alfabetico Alf. decr. Rilevanza Anno cresc. Anno decr.

Localizzazione Tutte Risorse pubblicate in Toscana

Lingua

Nazione

Tipologia Tipologia di supporto

Livello Bibliografico

Pubblicato dal

al

Isbn

Annulla ricerca

Risultati ricerca

Risultati 80-100 di 750

Functional interpretations

from the dialectica interpretation to functional interpretations of analysis and set theory

Diller, Justus

Logic and algebra

Logic program synthesis and transformation [+]

5th international workshop, LOPSTR'95, Utrecht, the Netherlands, september 1995, proceedings

Logica modale

Lukasiewicz, Jan

DNA based computers III

DIMACS workshop, june 23-25, 1997

DIMACS workshop on DNA computers 3rd university of Pennsylvania 1997

The logic book

Bergmann, Merrie

Categorical combinators, sequential algorithms, and functional programming

Curien, Pierre Louis

Mathematical logic

a course with exercises, part I: propositional calculus, Boolean algebras, predicate calculus

Cori, René

DNA Based Computers V

DIMACS Workshop DNA Based Computers, June 14-15, 1999, Massachusetts Institute of Technology

DIMACS Workshop on DNA Based Computers 5th 1999

Programming with constraints

an introduction

Marriott, Kim

Unvollständigkeit und Unentscheidbarkeit

die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

Stegmüller, Wolfgang

Fuzzy sets, decision making, and expert systems

Zimmermann, Hans Jurgen

Sets and computations

Infinity and truth

Prova de Gödel

Nagel, Ernest

Mathematical logic and foundations of set theory

proceedings of an international colloquium held under the auspices of the Israel academy of sciences and humanities : Jerusalem, 11-14 november 1968

Rewriting techniques and applications

12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings

International conference rewriting techniques and applications 12th Utrecht 2001

Multiple-conclusion logic

Shoesmith, D.J.

THE DECISION PROBLEM

Solvable Classes of Quantificational Formulas

Dreben, Burton

Curs de logica, 1926-1927

cu speciala privire la stiintele exacte

Ionescu, Nae

Risultati 80-100 di 750