Egyéb keresési lehetőségek:
"mathematical logic and formal language." » "mathematical logic and formal languages." (Keresés kiterjesztése), "mathematical logic and german language." (Keresés kiterjesztése), "mathematical logic and foreign language." (Keresés kiterjesztése), "mathematics logic and formal language." (Keresés kiterjesztése)
Megjelenítés: 1 - 20 / 114 - kulcsszavak: '"mathematical logic and formal language."', keresési idő: 0.10mp Találatok szűrése
1
Efficient graph rewriting and its implementation
Szerző: Dörr, Heiko (1962-)
Megjelenés: 1995
Tárgyszavak: “...Theory of computation -- Mathematical logic and formal languages...”
könyv
Mentés a listára
Mentés helye:
2
Introduction to HOL : A theorem proving environment for higher logic
Szerző: Gordon, Michael Wallace
Megjelenés: 1993
Tárgyszavak: “...Theory of computation -- Mathematical logic and formal languages...”
könyv
Mentés a listára
Mentés helye:
3
Structures in logic and computer science : A selection of essays in honor of A. Ehrenfeucht
Megjelenés: 1997
Tárgyszavak: “...Theory of computation -- Mathematical logic and formal languages...”
könyv
Mentés a listára
Mentés helye:
4
Isabelle/HOL : A proof assistant for higher-order logic
Szerző: Nipkow, Tobias
Megjelenés: 2002
Tárgyszavak: “...Theory of computation -- Mathematical logic and formal languages...”
könyv
Mentés a listára
Mentés helye:
5
Basic proof theory
Szerző: Troelstra, Anne Sjerp
Megjelenés: 2000
Tárgyszavak: “...Theory of computation -- Mathematical logic and formal languages...”
könyv
Mentés a listára
Mentés helye:
6
Lectures on proof verification and approximation algorithms
Megjelenés: 1998
Tárgyszavak: “...Theory of computation -- Mathematical logic and formal languages...”
könyv
Mentés a listára
Mentés helye:
7
Handbook of logic and proof techniques for computer science
Szerző: Krantz, Steven George (1951-)
Megjelenés: 2002
Tárgyszavak: “...Theory of computation -- Mathematical logic and formal languages...”
könyv
Mentés a listára
Mentés helye:
8
Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi
Szerző: Abrusci, Vito Michele, szerző(1949-)
Megjelenés: 2018
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
9
Feferman on foundations : logic, mathematics, philosophy
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
10
Algebraic Methods in General Rough Sets
Megjelenés: 2018
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
11
Semigroups in Complete Lattices : Quantales, Modules and Related Topics
Szerző: Eklund, Patrik., szerző
Megjelenés: 2018
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
12
Provably Correct Systems
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
13
The Handbook of Formal Methods in Human-Computer Interaction
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
14
Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs
Szerző: Ayala-Rincón, Mauricio
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
15
Controlling language in industry : controlled languages for technical documents
Szerző: Crabbe, Stephen, szerző
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
16
Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
17
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
18
Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
19
Logic, Language, and Computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
20
Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése