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 60-80 di 97

Logic and its applications

Burke, Edmund matematico

Mastering regular expressions [+]

powerful techniques for Perl and other tools

Friedl, Jeffrey E. F.

Modal logic and process algebra

a bisimulation perspective

Logic programming languages

constraints, functions, and objects

Constraint satisfaction in logic programming

Hentenryck, Pascal: van

Foundations of logic programming

Lloyd, John Wylie

Term rewriting and all that [+]

Baader, Franz

Developmental systems and languages

Herman, Gabor

Automation of reasoning

Transductions rationelles

application aux langages algebriques

Autebert, Jean Michel

Programmation et langages symboliques [+]

Krinickij, N. A.

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

Temporal logic in specification

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

Logic programming '87

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

Conditional term rewriting systems

1. International workshop, Orsay, France, July 8-10, 1987 : proceedings

CSL '87

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

Workshop on computer science logic 1. Karlsruhe 1987

Mathematical foundations of programming language semantics

3. workshop, Tulane university, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

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

Risultati 60-80 di 97