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 380-400 di 750

Bounded variable logics and counting

a study in finite models

Otto, Martin

Gödel '96 [+]

logical foundations of mathematics, computer science and physics-Kurt Gödelʼs legacy : Bruno, Czech Republic, august 1996 proceedings

Logic programming '88

proceedings of the 7. conference, Tokyo, Japan, April 11-14, 1988

Programming languages implementation and logic programming

International workshop PLILP '88, Orleans, France, May 16-18, 1988 : proceedings

International workshop PLILP 1. Orleans 1988

CSL '88

2. Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988 : proceedings

Workshop on computer science logic 2. Duisburg 1988

Computational aspects of an order-sorted logic with term declarations

Schmidt-Schauss, Manfred

Temporal logic in specification

Altrincham, UK, April 8-10, 1987 : proceedings

Formal systems and recursive functions

proceedings of the eighth Logic colloquium, Oxford, July 1963

Logic Colloquium 8. Oxford 1963

Logic programming '87

proceedings of the 6. Conference, Tokyo, Japan, June 22-24, 1987

9. International conference on automated deduction

Argonne, Illinois, USA, May 23-26, 1988 : proceedings

International conference on automated deduction 9. Argonne 1988

Non-monotonic reasoning

2. international workshop, Grassau, FRG, June 13-15, 1988 : proceedings

Foundations of logic and functional programming

Workshop, Trento, Italy, December 15-19, 1986 : proceedings

Appunti di logica matematica

appunti autorizzati dal prof. Piero Mangani

A mathematical introduction to logic [+]

Enderton, Herbert B.

CSL '87

1. Workshop on computer science logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings

Workshop on computer science logic 1. Karlsruhe 1987

Logic at Botik '89

Symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings

Symposium on Logical foundations of computer science Pereslavl-Zalessky 1989

Foundations of equational logic programming

Holldobler, Steffen

Internal logic

foundations of mathematics from Kronecker to Hilbert

Gauthier, Yvon

2: Logica

Congresso Nuovi problemi della logica e della filosofia della scienza Viareggio 1990

Temporal logic of programs

Kroger, Fred

Risultati 380-400 di 750