The functional interpretation of logical deduction von Queiroz, Ruy J. G. B. de

FAW01
FAW02
Volltext

The functional interpretation of logical deduction von Queiroz, Ruy J. G. B. de

FHN01
URL des Erstveroeffentlichers

The functional interpretation of logical deduction von Queiroz, Ruy J. G. B. de

KUBA1

The functional interpretation of logical deduction von Queiroz, Ruy J. G. B. de 1958-, Oliveira, Anjolina G. de, Gabbay, Dov M. 1945-

Inhaltsverzeichnis

Logic, language, information, and computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Weitere Verfasser:
Volltext

Logic, language, information, and computation 30th international workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, proceedings

Weitere Verfasser:
Volltext

Logic, language, information, and computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings

Weitere Verfasser: BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers
Buchcover

Logic, language, information, and computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings

Weitere Verfasser:
Volltext

Logic, language, information, and computation 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings

Weitere Verfasser: