کتاب های Dr. Johan Van Dijk
کتاب های نویسنده
صفحه ۳ از ۳۰ در بین ۷۳۸ کتاب.
PDF
Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London
Johan van Benthem, Benedikt Lowe, Dov M. Gabbay, 2008DJVU
Language in Action: Categories, Lambdas and Dynamic Logic
Johan van Benthem, 1991PDF
Language in Action: Categories, Lambdas and Dynamic Logic
Johan van Benthem (Eds.), 1991DJVU
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.), 1989PDF
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.), 1989PDF
Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
Johan van Benthem (auth.), R. Ramanujam, Sundar Sarukkai (eds.), 2009PDF
Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
Johan van Benthem (auth.), R. Ramanujam, Sundar Sarukkai (eds.), 2009PDF
Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Jen Erik Fenstad (auth.), Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem (eds.), 1997PDF
Achieving Competitive Edge Getting Ahead Through Technology and People: Proceedings of the OMA-UK Sixth International Conference
Henk A. Akkermans, Johan E. Van Aken (auth.), David Bennett, Colin Lewis (eds.), 1991PDF
Soil Ecology and Ecosystem Services
Diana H. Wall, Richard D. Bardgett, Valerie Behan-Pelletier, Jeffrey E. Herrick, Hefin Jones, Karl Ritz, Johan Six, Donald R. Strong, Wim H. van der Putten, 2012PDF
Functional Imaging and Modeling of the Heart: First International Workshop, FIMH 2001 Helsinki, Finland, November 15–16, 2001 Proceedings
T. Arts, P. Bovendeerd, A. van der Toorn, L. Geerts, R. Kerckhoffs, F. Prinzen (auth.), Toivo Katila, Jukka Nenonen, Isabelle E. Magnin, Patrick Clarysse, Johan Montagnat (eds.), 2001PDF
Information Assurance and Security Education and Training: 8th IFIP WG 11.8 World Conference on Information Security Education, WISE 8, Auckland, New Zealand, July 8-10, 2013, Proceedings, WISE 7, Lucerne Switzerland, June 9-10, 2011, and WISE 6, Bento Gonçalves, RS, Brazil, July 27-31, 2009, Revised Selected Papers
Rayne Reid, Johan Van Niekerk (auth.), Ronald C. Dodge Jr., Lynn Futcher (eds.), 2013PDF
Health Care and EU Law
Johan van de Gronden, 2011PDF
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today
Johan van Benthem, 2006PDF
Logical Dynamics of Information and Interaction
Johan van BenthemPDF
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings
Johan van Benthem (auth.), 2000PDF
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings
Johan van Benthem (auth.), 2000PDF
Modal Logic and Classical Logic
Johan van Benthem, 1983DJVU
Modal Logic and Classical Logic
Johan van Benthem, 1983DJVU
Modal Logic for Open Minds
Johan van Benthem, 2000PDF
Modal Logic for Open Minds
Johan van Benthem, 2000PDF
Models of Strategic Reasoning: Logics, Games, and Communities
Johan van Benthem, 2015PDF
Quantifiers: Logics, Models and Computation: Volume Two: Contributions
Johan van Benthem (auth.), 1995PDF
Resource-Sensitivity, Binding and Anaphora
Johan van Benthem (auth.), 2003DJVU
