isabelle: src/HOL/Algebra/document/root.bib@d2ddd401d74d (annotated)

14706 71590b7733b7 tuned document; wenzelm parents: diff changeset	1
71590b7733b7 tuned document; wenzelm parents: diff changeset	2	@PhdThesis{Ballarin:1999,
71590b7733b7 tuned document; wenzelm parents: diff changeset	3	author = {Clemens Ballarin},
71590b7733b7 tuned document; wenzelm parents: diff changeset	4	title = {Computer Algebra and Theorem Proving},
71590b7733b7 tuned document; wenzelm parents: diff changeset	5	school = {University of Cambridge},
71590b7733b7 tuned document; wenzelm parents: diff changeset	6	year = 1999,
51516 237190475d79 Remove obsolete URLs in documentation of HOL-Algebra. ballarin parents: 14706 diff changeset	7	note = {Also Computer Laboratory Technical Report number 473.}
14706 71590b7733b7 tuned document; wenzelm parents: diff changeset	8	}
71590b7733b7 tuned document; wenzelm parents: diff changeset	9
71590b7733b7 tuned document; wenzelm parents: diff changeset	10	@Book{Jacobson:1985,
71590b7733b7 tuned document; wenzelm parents: diff changeset	11	author = {Nathan Jacobson},
71590b7733b7 tuned document; wenzelm parents: diff changeset	12	title = {Basic Algebra I},
71590b7733b7 tuned document; wenzelm parents: diff changeset	13	publisher = {Freeman},
71590b7733b7 tuned document; wenzelm parents: diff changeset	14	year = 1985
71590b7733b7 tuned document; wenzelm parents: diff changeset	15	}
71590b7733b7 tuned document; wenzelm parents: diff changeset	16
71590b7733b7 tuned document; wenzelm parents: diff changeset	17	@Article{Kammueller-Paulson:1999,
71590b7733b7 tuned document; wenzelm parents: diff changeset	18	author = {Florian Kamm\"uller and L. C. Paulson},
71590b7733b7 tuned document; wenzelm parents: diff changeset	19	title = {A Formal Proof of Sylow's theorem: An Experiment in
71590b7733b7 tuned document; wenzelm parents: diff changeset	20	Abstract Algebra with {Isabelle HOL}},
71590b7733b7 tuned document; wenzelm parents: diff changeset	21	journal = {J. Automated Reasoning},
71590b7733b7 tuned document; wenzelm parents: diff changeset	22	year = 1999,
71590b7733b7 tuned document; wenzelm parents: diff changeset	23	number = 23,
71590b7733b7 tuned document; wenzelm parents: diff changeset	24	pages = {235--264}
71590b7733b7 tuned document; wenzelm parents: diff changeset	25	}

author	blanchet
	Fri, 05 Sep 2014 00:41:01 +0200
changeset 58187	d2ddd401d74d
parent 51516	237190475d79
child 67299	ba52a058942f
permissions	-rw-r--r--