Egyéb keresési lehetőségek:
mathematical » mathematics (Keresés kiterjesztése)
languages » language (Keresés kiterjesztése)
Megjelenítés: 1 - 20 / 107 - kulcsszavak: '"Mathematical Logic and Formal Languages."', keresési idő: 0.12mp Találatok szűrése
1
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:
2
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:
3
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:
4
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:
5
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:
6
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:
7
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:
8
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:
9
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:
10
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:
11
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:
12
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:
13
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:
14
Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 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:
15
Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications
Szerző: O'Regan, Cornelius Gerard
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
Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – 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:
17
Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude
Szerző: Ölveczky, Peter Csaba
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
Descriptor Revision : Belief Change through Direct Choice
Szerző: Hansson, Sven Ove
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
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, 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
Artificial Intelligence in Medicine : 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 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:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése