Cargando…

Programming Logics Essays in Memory of Harald Ganzinger /

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and the...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Voronkov, Andrei (Editor ), Weidenbach, Christoph (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:	1st ed. 2013.
Colección:	Theoretical Computer Science and General Issues, 7797
Temas:	Machine theory. Artificial intelligence. Computer programming. Computer science. Image processing-Digital techniques. Computer vision. Formal Languages and Automata Theory. Artificial Intelligence. Programming Techniques. Computer Science Logic and Foundations of Programming. Computer Imaging, Vision, Pattern Recognition and Graphics.
Acceso en línea:	Texto Completo

Ejemplares similares

Logic and Its Applications 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings /
Publicado: (2013)

Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings /
Publicado: (2012)

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings /
Publicado: (2011)

Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers /
Publicado: (2012)

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers /
Publicado: (2013)

Formal Grammar 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011 /
Publicado: (2012)

Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings /
Publicado: (2012)

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers /
Publicado: (2013)

Computer Vision -- ACCV 2009 9th Asian Conference on Computer Vision, Xi'an, China, September 23-27, 2009, Revised Selected Papers, Part I /
Publicado: (2010)

Computer Vision -- ACCV 2009 9th Asian Conference on Computer Vision, Xi'an, China, September 23-27, 2009, Revised Selected Papers, Part III /
Publicado: (2010)

Transactions on Rough Sets XIV
Publicado: (2011)

The Language of Mathematics A Linguistic and Philosophical Investigation /
por: Ganesalingam, Mohan
Publicado: (2013)

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers /
Publicado: (2015)

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers /
Publicado: (2014)

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers /
Publicado: (2016)

Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II /
Publicado: (2011)

Programming Multi-Agents Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers /
Publicado: (2012)

Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz /
Publicado: (2012)

Rough Sets and Knowledge Technology 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012, Proceedings /
Publicado: (2012)

Argumentation in Multi-Agent Systems 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 2011, Revised Selected Papers /
Publicado: (2012)

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /
Publicado: (2010)

Abdominal Imaging. Computational and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings /
Publicado: (2013)

Pattern Recognition Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012, Proceedings /
Publicado: (2012)

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday /
Publicado: (2005)

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers /
Publicado: (2016)

Progress in Pattern Recognition, Image Analysis and Applications 11th Iberoamerican Congress on Pattern Recognition, CIARP 2006, Cancún, Mexico, November 14-17, 2006, Proceedings /
Publicado: (2006)

Progress in Pattern Recognition, Image Analysis and Applications 10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, Havana, Cuba, November 15-18, 2005, Proceedings /
Publicado: (2005)

Handbook of Face Recognition
Publicado: (2011)

Progress in Pattern Recognition, Image Analysis and Applications 12th Iberoamerican Congress on Pattern Recognition, CIARP 2007,Valpariso, Chile, November 13-16, 2007, Proceedings /
Publicado: (2007)

Handbook of Face Recognition
Publicado: (2005)

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings /
Publicado: (2012)

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /
Publicado: (2014)

Mesh Processing in Medical Image Analysis 2012 MICCAI 2012 International Workshop, MeshMed 2012, Nice, France, October 1, 2012, Proceedings /
Publicado: (2012)

Deep Structure, Singularities, and Computer Vision First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers /
Publicado: (2005)

Computer Vision and Graphics Second International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part II /
Publicado: (2010)

Computer Vision - ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012. Proceedings, Part V /
Publicado: (2012)

VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search
por: Frintrop, Simone
Publicado: (2006)

Computer Vision and Graphics Second International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part I /
Publicado: (2010)

Computer Vision and Graphics International Conference, ICCVG 2012, Warsaw, Poland, September 24-26, 2012, Proceedings /
Publicado: (2012)

Video Processing and Computational Video International Seminar, Dagstuhl Castle, Germany, October 10-15, 2010, Revised Papers /
Publicado: (2011)

Cannot write session to /tmp/vufind_sessions/sess_i74qhda8ivrfapg03da3chbhkb