bibliography.bib

@article{robinsconjecture,
    author  = {Brandon Fitelson},
    title   = {Using Mathematica to Understand the Computer Proof of the Robbins Conjecture},
    journal = {	Mathematica in Education and Research},
    year    = 1998,
	number  = 1,
    pages   = {17-26},
    volume  = 7
}

@book{kaindl,
  title={Problemlösen durch heuristische Suche in der Artificial Intelligence},
  author={Kaindl, Hermann},
  isbn={9783709189931},
  year={2013},
  publisher={Springer}
}

@book{russelnorvig,
  author = {Russel, Stuart and Norvig, Peter},
  title = {Künstliche Intelligenz. Ein moderner Ansatz},
  publisher = {Pearson},
  year = {2012}
}

@book{bratko,
  author = {Bratko, Ivan},
  title = {Prolog Programming for Artificial Intelligence},
  publisher = {Pearson},
  year = {2012}
}

@article{Dechter:1985:GBS:3828.3830,
    author = {Dechter, Rina and Pearl, Judea},
    title = {Generalized Best-first Search Strategies and the Optimality of A*},
    journal = {J. ACM},
    issue_date = {July 1985},
    volume = {32},
    number = {3},
    month = jul,
    year = {1985},
    issn = {0004-5411},
    pages = {505--536},
    numpages = {32},
    url = {http://doi.acm.org/10.1145/3828.3830},
    doi = {10.1145/3828.3830},
    acmid = {3830},
    publisher = {ACM},
    address = {New York, NY, USA},
}

@article{hales_formalproof,
    author  = {Thomas C. Hales},
    title   = {Formal Proof},
    journal = {Notices of the AMS},
    year    = 2008,
	number  = 11,
    pages   = {1370-1380},
    volume  = 55
}

@online{isabellewebpage,
	author = {{University of Cambridge} and {TU München}},
	title = {Isabelle Webpage},
	url = {http://isabelle.in.tum.de}
}

@inproceedings{Gao2014,
    author={Hongbiao Goa and Yuichi Goto and Jingde Cheng},
	editor="Park, James J. and Pan, Yi and Kim, Cheon-Shik and Yang, Yun",
	title="Research on Automated Theorem Finding: Current State and Future Directions",
	booktitle="Future Information Technology: FutureTech 2014",
	series="Lecture Notes in Electrical Engineering",
	volume={309},
	year="2014",
	publisher="Springer",
	address="Berlin",
	pages = {105-110},
}