[MS93] A programming language with proofs

Conférence Internationale avec comité de lecture : Logic Programming and automated reasonning, January 1993, Vol. 624, Series LNCS ,

Auteurs: P. Manoury , M. Simonot

motcle:

BibTeX

@inproceedings {
	MS93,
	title	=	"{A programming language with proofs}",
	author	=	" P. Manoury and M. Simonot ",
	booktitle	=	"{Logic Programming and automated reasonning}",
	year	=	1993,
	month	=	"January",
	series	=	" LNCS ",
	volume	=	624,
}