Cooperation in Heterogeneous Theorem Prover Networks

Created by W.Langdon from gp-bibliography.bib Revision:1.7615

@PhdThesis{DBLP:books/daglib/0001382,

• author = "Dirk Fuchs",
• title = "Cooperation in Heterogeneous Theorem Prover Networks",
• school = "Kaiserslautern University of Technology",
• year = "2000",
• address = "Germany",
• month = jan,
• keywords = "genetic algorithms, genetic programming, Artificial Intelligence, Computer and Communication Sciences, Computer Science",
• isbn13 = "978-1-58603-124-4",
• isbn13 = "978-3-89838-231-1",
• volume = "231",
• series = "Dissertations in Artificial Intelligence",
• publisher = "IOS",
• URL = "https://www.iospress.nl/book/cooperation-in-heterogeneous-theorem-prover-networks/",
• URL = "http://d-nb.info/958744947",
• timestamp = "Thu, 30 Jan 2020 14:55:16 +0100",
• biburl = "https://dblp.org/rec/books/daglib/0001382.bib",
• bibsource = "dblp computer science bibliography, https://dblp.org",
• URL = "https://katalog.ub.tu-braunschweig.de/vufind/Search2Record/313528276",
• size = "262 pages",
• notes = "is this GP?",

}

Genetic Programming entries for Dirk Fuchs

Citations