Conceptual modelling and its theoretical foundations: Essays dedicated to bernhard thalheim on the occasion of his 60th birthday /

Conceptual modelling and its theoretical foundations: Essays dedicated to bernhard thalheim on the occasion of his 60th birthday /

<p>This Festschrift, published in honor of Bernhard Thalheim on the occasion of his 60th birthday presents 20 articles by colleagues from all over the world with whom Bernhard Thalheim had cooperation in various respects; also included is a scientific biography contributed by the volume editor...

पूर्ण विवरण

में बचाया:

ग्रंथसूची विवरण
निगमित लेखक:	SpringerLink (Online service)
अन्य लेखक:	Klettke, Meike, Schewe, Klaus-Dieter, Düsterhöft, Antje
स्वरूप:	ई-पुस्तक
भाषा:	English
प्रकाशित:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
श्रृंखला:	Lecture Notes in Computer Science 7260
विषय:	Computer science. Software engineering. Logic design. Artificial intelligence.
ऑनलाइन पहुंच:	Click here to view the full text content
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

Processes, terms and cycles: steps on the road to infinity / essays dedicated to Jan Willem Klop on the Occasion of his 60th birthday

Logic programs, norms and action : Essays in honor of Marek J. Sergot on the occasion of his 60th birthday /
प्रकाशित: (2012)

Theoretical Aspects of Computing - ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
प्रकाशित: (2013)

Logic and program semantics : Essays dedicated to dexter kozen on the occasion of his 60th birthday /
प्रकाशित: (2012)

Computation, logic, games, and quantum foundations. the many facets of Samson Abramsky : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday /
प्रकाशित: (2013)

Formal methods in software and systems modeling essays dedicated to hartmut ehrig on the occasion of his 60th birthday
प्रकाशित: (2005)

Verification, induction, termination analysis festschrift for christoph walther on the occasion of his 60th birthday /
प्रकाशित: (2010)

Foundations of software science and computational structures : 15th International Conference, FOSSACS 2012, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
प्रकाशित: (2012)

The multivariate algorithmic revolution and beyond : Essays dedicated to Michael R. fellows on the occasion of his 60th birthday /
प्रकाशित: (2012)

Algorithms and applications essays dedicated to esko ukkonen on the occasion of His 60th Birthday /
प्रकाशित: (2010)

Graph transformations and model-driven engineering essays dedicated to manfred nagl on the occasion of his 65th birthday /
प्रकाशित: (2010)

Model checking and artificial intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
प्रकाशित: (2007)

Fields of logic and computation essays dedicated to Yuri Gurevich on the occasion of his 70th Birthday /
प्रकाशित: (2010)

Foundations of information and knowledge systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings /
प्रकाशित: (2010)

Foundations of information and knowledge systems : 7th International symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings /
प्रकाशित: (2012)

Horizons of the mind. a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of His 60th Birthday /
प्रकाशित: (2014)

Logic and its applications 4th Indian conference, ICLA 2011, Delhi, India, January 5-11, 2011. proceedings /
प्रकाशित: (2011)

Correct reasoning : Essays on logic-based AI in honour of vladimir lifschitz /
प्रकाशित: (2012)

Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the Occasion of his 60th birthday /
प्रकाशित: (2007)

Software service and application engineering : Essays dedicated to bernd krämer on the occasion of his 65th birthday /
प्रकाशित: (2012)

Categories and types in logic, language, and physics : Essays dedicated to Jim Lambek on the occasion of His 90th Birthday /
प्रकाशित: (2014)

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
प्रकाशित: (2014)

Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
प्रकाशित: (2010)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
प्रकाशित: (2012)

Automated deduction - CADE-20 20th International Conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
द्वारा: Nieuwenhuis, Robert
प्रकाशित: (2005)

The evolution of conceptual modeling from a historical perspective towards the future of conceptual modeling /
प्रकाशित: (2011)

Automated reasoning and mathematics : essays in memory of William W. McCune /
प्रकाशित: (2013)

Practical aspects of declarative languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /
प्रकाशित: (2011)

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
प्रकाशित: (2010)

Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
द्वारा: Schneider, Klaus, 1967-
प्रकाशित: (2007)

Logic for programming, artificial intelligence, and reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
प्रकाशित: (2007)

Theorem proving in higher order logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /

Logic-based program synthesis and transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers /
प्रकाशित: (2010)

Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
प्रकाशित: (2010)

Computational logic in multi-agent systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings /
प्रकाशित: (2013)

Advances in Computing Science ASIAN 2000 : 6th Asian Computing Science Conference Penang, Malaysia, November 25 27, 2000 Proceedings /
प्रकाशित: (2000)

Computational logic in multi-agent systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /
प्रकाशित: (2012)

Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /
प्रकाशित: (2012)

Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
प्रकाशित: (2012)

Declarative agent languages and technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /
प्रकाशित: (2013)