Catalogue SUDOC

Copyright © 2023 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?

rechercher (et)

(Mots du titre)

Higher order logic theorem proving and its applications

| 7 résultat(s)

Services

Mon panier / Export

Affiner la recherche

Mot	Type	Compte
its	Mots du titre	[73077]
applications	Mots du titre	[116229]
higher	Mots du titre	[9212]
order	Mots du titre	[31686]
logic	Mots du titre	[14213]
proving	Mots du titre	[2211]
theorem	Mots du titre	[3012]

	1.	Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings Beckert, Bernhard / 1st ed. 2005. / Springer Berlin Heidelberg / 2005
	2.	Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 International workshop on Higher Order Logic Theorem Proving and its Applications (8 ; 1995 ; Aspen Grove, Utah) / North-Holland / 1993
	3.	Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings Springer / [201. ?]
	4.	Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings Springer / [201. ?]
	5.	Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings International workshop on Higher Order Logic Theorem Proving and its Applications (8 ; 1995 ; Aspen Grove, Utah) / Springer / 1995
	6.	Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings HOL User's Group Workshop (6th ; Vancouver, B.C. ; 1993) / Springer-Verlag / cop. 1994
	7.	Higher Order Logic Theorem Proving and Its Applications : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings Springer / [201. ?]