Keresési eredmények

[1]
Előző
5
6
7
8
9
10
11
12
13
14
15
Következő
[28]

181

Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

182

Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

183

Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

184

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice...

Megjelenés: 2019

Ugrás a forráshoz

könyv

185

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

186

Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Megjelenés: 2019

Ugrás a forráshoz

könyv

187

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings...

Megjelenés: 2019

Ugrás a forráshoz

könyv

188

Bioinformatics and Biomedical Engineering : 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II

Bioinformatics and Biomedical Engineering : 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II

Megjelenés: 2019

Ugrás a forráshoz

könyv

189

Software Engineering and Methodology for Emerging Domains : 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

Software Engineering and Methodology for Emerging Domains : 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenz...

Megjelenés: 2019

Ugrás a forráshoz

könyv

190

Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

191

Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

192

Reasoning Web. Explainable Artificial Intelligence : 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures

Reasoning Web. Explainable Artificial Intelligence : 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures

Megjelenés: 2019

Ugrás a forráshoz

könyv

193

Cellular Automata and Discrete Complex Systems : 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

Cellular Automata and Discrete Complex Systems : 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

194

Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Megjelenés: 2017

Ugrás a forráshoz

könyv

195

Modeling Decisions for Artificial Intelligence : 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings

Modeling Decisions for Artificial Intelligence : 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

196

Logic and Its Applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Logic and Its Applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

197

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Megjelenés: 2020

Ugrás a forráshoz

könyv

198

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

Megjelenés: 2020

Ugrás a forráshoz

könyv

199

Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings

Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings

Megjelenés: 2020

Ugrás a forráshoz

könyv

200

Therie der Numerierungen I.

Therie der Numerierungen I.

Szerző: Ers̆ov, Urij Leonidovič (1940-)
Megjelenés: 1973

könyv

[1]
Előző
5
6
7
8
9
10
11
12
13
14
15
Következő
[28]