cschon > ratiolog.uni-koblenz.de/bridging | BibSonomy

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
order
ascending
descending
RSS
BibTeX
XML

No matching posts.

⟨⟨
⟨
⟩
⟩⟩

publications (hide)1
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
order
ascending
descending
help for advanced sorting...
RSS
BibTeX
RDF
more...

2Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015
U. Furbach, and C. Schon (Eds.). . volume 1412 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)
7 years ago by @cschon
show all tags
myown
ratiolog.uni-koblenz.de/bridging
schon
west.uni-koblenz.de
myownratiolog.uni-koblenz.de/bridgingschonwest.uni-koblenz.de
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩