TPHOLs (21 : 2008 : Montréal) Konferenz oder Veranstaltung
JSON

URI https://d-nb.info/gnd/10351931-2
EntitätstypKonferenz oder Veranstaltung
GND-Nummer10351931-2
LändercodeKanada 
Veranstaltungsdaten2008
VeranstaltungsortMontréal 
Varianter NameInternational Conference on Theorem Proving in Higher Order Logics (21 : 2008 : Montréal)
Siehe auchDeutsche Nationalbibliothek (DNB) Deutsche Nationalbibliothek (DNB) | Virtual International Authority File (VIAF) Virtual International Authority File (VIAF)

Datenquelle: DNB Linked-Data-Service (RDF/XML, Turtle) | CC0

Datenquelle: DNB Linked-Data-Service (RDF/XML, Turtle) | CC0

NRW-Wappen   lobid-gnd | ein Dienst des hbz Gewährleistung | Impressum | Datenschutz | Mastodon  GitHub  Blog