Mathematical Logic In The 20th Century
Sacks Gerald E Sacks
Download - Immediately Available
Format: eBook (PDF)
Neural and Fuzzy Logic Control of Drives and Power Systems
Marcian Cirstea
Download - Immediately Available
Format: eBook (PDF)
Rewriting Techniques and Applications : 20th International Conference, RTA 2009, Brasilia, Brazil, June 29 - July 1, 2009 Proceedings
Ralf Treinen
Download - Immediately Available
Format: eBook (PDF)
Recent Trends in Algebraic Development Techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Till Mossakowski
Download - Immediately Available
Format: eBook (PDF)
Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Elvira Albert
Download - Immediately Available
Format: eBook (PDF)
Application and Theory of Petri Nets 1999 : 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings
Susanna Donatelli
Download - Immediately Available
Format: eBook (PDF)
Cellular Automata : 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings
Samira El Yacoubi
Download - Immediately Available
Format: eBook (PDF)
Model Theory and Applications : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975
P. Mangani
Download - Immediately Available
Format: eBook (PDF)
Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Steven Homer
Download - Immediately Available
Format: eBook (PDF)