From 02ca244799348bc5fbd92eb6d618e23ddb3d5920 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase Date: Fri, 2 Aug 2024 09:00:58 +0200 Subject: [PATCH] more --- extcrossrefs.bib | 13 ------------- kwarccrossrefs.bib | 15 +++++++++++++++ 2 files changed, 15 insertions(+), 13 deletions(-) diff --git a/extcrossrefs.bib b/extcrossrefs.bib index 82067d31..ed030c9e 100644 --- a/extcrossrefs.bib +++ b/extcrossrefs.bib @@ -15,19 +15,6 @@ @proceedings{KIBildung23 note = {in press}, keywords = {conference}} -@proceedings{CICM24, - label = {CICM}, - editor = {Andrea Kohlhase and Laura Kovacz}, - title = {Intelligent Computer Mathematics}, - booktitle = {Intelligent Computer Mathematics ({CICM}) 2024}, - publisher = {Springer}, - series = {LNAI}, - SOONvolume = {}, - year = {2024}, - SOONisbn = {978-3-031-16680-8}, - note = {}, - keywords = {conference}} - @proceedings{CICM22, label = {CICM}, editor = {Buzzard, Kevin and Kutsia, Temur}, diff --git a/kwarccrossrefs.bib b/kwarccrossrefs.bib index 97047210..e8a5bd71 100644 --- a/kwarccrossrefs.bib +++ b/kwarccrossrefs.bib @@ -1,5 +1,20 @@ @STRING{krcmessage = "READ the README please!!!!!!!!!!!!!!"} +@proceedings{CICM24, + label = {CICM}, + editor = {Andrea Kohlhase and Laura Kovacz}, + title = {Intelligent Computer Mathematics}, + booktitle = {Intelligent Computer Mathematics ({CICM}) 2024}, + publisher = {Springer}, + series = {LNAI}, + SOONvolume = {}, + year = {2024}, + SOONisbn = {978-3-031-16680-8}, + note = {}, + keywords = {conference}, + pubs={akohlhase}} + + @proceedings{RATIO24, year = 2024, editor = {Philipp Cimiano and Anette Frank and Michael Kohlhase and Benno Stein},