top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Formal Languages : Automata and Structures / Erwin Engeler
Formal Languages : Automata and Structures / Erwin Engeler
Autore Engeler, Erwin
Pubbl/distr/stampa Chicago : Markham, 1968
Disciplina 510.78
Collana Lectures in Advanced Mathematics
Soggetto non controllato Cibernetica
Teoria dei giochi
Teoria degli automi
Intelligenza artificiale
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000989160403321
Engeler, Erwin  
Chicago : Markham, 1968
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal languages : automata and structures / Erwin Engeler
Formal languages : automata and structures / Erwin Engeler
Autore Engeler, Erwin
Pubbl/distr/stampa Chicago : Markham Publishing Company, copyr. 1968
Descrizione fisica VII, 81 p. : ill. ; 23 cm
Disciplina 5113
Collana Lectures in advanced mathematics
Soggetto non controllato linguaggi formali
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000199660203316
Engeler, Erwin  
Chicago : Markham Publishing Company, copyr. 1968
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Formal languages: automata and structures / BY ENGELER,E
Formal languages: automata and structures / BY ENGELER,E
Autore Engeler, Erwin
Pubbl/distr/stampa Chicago : Markham, 1968
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001245290403321
Engeler, Erwin  
Chicago : Markham, 1968
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Foundations of Mathematics : Questions of Analysis, Geometry & Algorithmics / Erwin Engeler ; Translated by Charles B. Thomas
Foundations of Mathematics : Questions of Analysis, Geometry & Algorithmics / Erwin Engeler ; Translated by Charles B. Thomas
Autore Engeler, Erwin
Pubbl/distr/stampa Berlin [etc.], : Springer-Verlag, 1993
Descrizione fisica 100 p. ; 24 cm
Soggetto topico 00A30 - Philosophy of mathematics [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020]
03B40 - Combinatory logic and lambda-calculus [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020]
Soggetto non controllato Algorithms
Analysis
Calculus
Geometry
Metamathematics
Non-standard Analysis
Proofs
computational theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00290467
Engeler, Erwin  
Berlin [etc.], : Springer-Verlag, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic of programs : workshop, ETH Zurich, May-July 1979 / edited by Erwin Engeler
Logic of programs : workshop, ETH Zurich, May-July 1979 / edited by Erwin Engeler
Autore Engeler, Erwin
Pubbl/distr/stampa Berlin : Springer-Verlag, 1981
Descrizione fisica 245 p. : ill. ; 25 cm.
Disciplina 001.6425
511.3
Soggetto topico Computer programs - Congresses
Computer science - Congresses
Symbolic logic - Congresses
ISBN 3540111603
Classificazione AMS 68-06
AMS 68-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001095289707536
Engeler, Erwin  
Berlin : Springer-Verlag, 1981
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Symposium on Semantics of Algorithmic Languages / Edite by E. Engeler
Symposium on Semantics of Algorithmic Languages / Edite by E. Engeler
Autore Engeler, Erwin
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1971
Disciplina 510.78
Collana Lecture Notes in Mathematics
Soggetto non controllato Teoria della programmazione e utilizzazione dei computers
Software
ISBN 3-540-05377-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000989170403321
Engeler, Erwin  
Berlin [etc.] : Springer-Verlag, 1971
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Symposium on semantics of algorithmic languages / edited by E. Engeler
Symposium on semantics of algorithmic languages / edited by E. Engeler
Autore Engeler, Erwin
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1971
Descrizione fisica 372 p. ; 26 cm
Disciplina 511.3
Collana Lecture notes in mathematics, 0075-8434 ; 188
Soggetto topico Computer algorithms - Congresses
Formal languages - Congresses
Programming languages-semantics - Congresses
ISBN 3540053778
Classificazione 510.65
621.3.8
AMS 03-06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001408729707536
Engeler, Erwin  
Berlin ; New York : Springer-Verlag, 1971
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Symposium on Semantics of Algorithmic Languages / edited by E. Engeler
Symposium on Semantics of Algorithmic Languages / edited by E. Engeler
Pubbl/distr/stampa Berlin, : Springer, 1971
Descrizione fisica vi, 366 p. : ill. ; 24 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
68N17 - Logic programming [MSC 2020]
68Q45 - Formal languages and automata [MSC 2020]
68Q55 - Semantics in the theory of computing [MSC 2020]
68P20 - Information storage and retrieval of data (aspects in computer science) [MSC 2020]
68N01 - General topics in the theory of software [MSC 2020]
Soggetto non controllato Algebra
Semantics
Semantics of Algorithmic Languages
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0255411
Berlin, : Springer, 1971
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Symposium on Semantics of Algorithmic Languages / edited by E. Engeler
Symposium on Semantics of Algorithmic Languages / edited by E. Engeler
Pubbl/distr/stampa Berlin, : Springer, 1971
Descrizione fisica vi, 366 p. : ill. ; 24 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
68N01 - General topics in the theory of software [MSC 2020]
68N17 - Logic programming [MSC 2020]
68P20 - Information storage and retrieval of data (aspects in computer science) [MSC 2020]
68Q45 - Formal languages and automata [MSC 2020]
68Q55 - Semantics in the theory of computing [MSC 2020]
Soggetto non controllato Algebra
Semantics
Semantics of Algorithmic Languages
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00255411
Berlin, : Springer, 1971
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui