Reasoning about proof search specifications: An abstract

Dale Miller

doi:10.1007/10930755_13

Reasoning about proof search specifications: An abstract

Dale Miller

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

langue originale	Anglais
titre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
rédacteurs en chef	David Basin, Burkhart Wolff
Editeur	Springer Verlag
Pages	204
Nombre de pages	1
ISBN (Electronique)	3540406646, 9783540406648
Les DOIs	https://doi.org/10.1007/10930755_13
état	Publié - 1 janv. 2003
Evénement	16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003 - Rome, Italie Durée: 8 sept. 2003 → 12 sept. 2003

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2758
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003
Pays/Territoire	Italie
La ville	Rome
période	8/09/03 → 12/09/03

Accès au document

10.1007/10930755_13

Contient cette citation

Miller, D. (2003). Reasoning about proof search specifications: An abstract. Dans D. Basin, & B. Wolff (eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 204). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 2758). Springer Verlag. https://doi.org/10.1007/10930755_13

Miller, Dale. / Reasoning about proof search specifications : An abstract. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Editeur / David Basin ; Burkhart Wolff. Springer Verlag, 2003. p. 204 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{488b33d6f552492d8b7f856f4609197f,

title = "Reasoning about proof search specifications: An abstract",

author = "Dale Miller",

year = "2003",

month = jan,

day = "1",

doi = "10.1007/10930755\_13",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "204",

editor = "David Basin and Burkhart Wolff",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

note = "16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003 ; Conference date: 08-09-2003 Through 12-09-2003",

}

Miller, D 2003, Reasoning about proof search specifications: An abstract. Dans D Basin & B Wolff (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 2758, Springer Verlag, p. 204, 16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003, Rome, Italie, 8/09/03. https://doi.org/10.1007/10930755_13

Reasoning about proof search specifications: An abstract. / Miller, Dale.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Ed. / David Basin; Burkhart Wolff. Springer Verlag, 2003. p. 204 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 2758).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - Reasoning about proof search specifications

T2 - 16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003

AU - Miller, Dale

PY - 2003/1/1

Y1 - 2003/1/1

U2 - 10.1007/10930755_13

DO - 10.1007/10930755_13

M3 - Conference contribution

AN - SCOPUS:84937434173

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 204

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Basin, David

A2 - Wolff, Burkhart

PB - Springer Verlag

Y2 - 8 September 2003 through 12 September 2003

ER -

Miller D. Reasoning about proof search specifications: An abstract. Dans Basin D, Wolff B, rédacteurs en chef, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2003. p. 204. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/10930755_13