Higher order logic theorem proving and its applications. 7th international workshop, Valletta, Malta, September 19--22, 1994. Proceedings
type: Item
instance of: scholarly article
title: Higher order logic theorem proving and its applications. 7th international workshop, Valletta, Malta, September 19--22, 1994. Proceedings
zbMATH Open document ID: 0803.00028
DOI: 10.1007/3-540-58450-1
published in: Lecture Notes in Computer Science
publication date: 1994-12-12T00:00:00Z
review text: The articles of this volume will not be indexed individually.
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 702501
zbMATH Keywords: Valletta (Malta)
zbMATH Keywords: Proceedings
zbMATH Keywords: Workshop
zbMATH Keywords: Higher order logic theorem proving
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-58450-1
OpenAlex ID: W2476720312
Recommended article: Higher order logic theorem proving and its applications. 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings
Recommended article: Higher order logic theorem proving and its applications. 6th International Workshop, HUG '93, Vancouver, B. C., Canada, August 11-13, 1993. Proceedings
Recommended article: Theorem proving in higher order logics. 10th international conference, TPHOLs '97. Murray Hill, NJ, USA. August 19--22, 1997. Proceedings
Recommended article: Theorem proving in higher order logics. 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10--13, 2007. Proceedings
Recommended article: Theorem proving in higher order logics. 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14--17, 2004. Proceedings.
Recommended article: Theorem proving in higher order logics. 16th international conference, TPHOLs 2003, Rome, Italy, September 8--12, 2003. Proceedings
Recommended article: Theorem proving in higher order logics. 14th international conference, TPHOLs 2001, Edinburgh, Scotland, GB, September 3--6, 2001. Proceedings
Recommended article: Theorem proving in higher order logics. 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20--23, 2002. Proceedings
Recommended article: Theorem proving in higher order logics. 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14--18, 2000. Proceedings
Recommended article: Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
description: scientific article; zbMATH DE number 702501