Logic, Language, and Security / Lecture Notes in Computer Science Bd.12300 (PDF)
32 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This combination of breadth and penetrating originality is rare and impressive. This Festschrift only tries to reflect this combination with a number of contributions distributed among these different topics.
It contains 11 technical articles and 3 short papers organized among sections on Logic, Logic and Computing, Logic and Security, and Logic and Language. Those articles are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov.
The chapter "A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems" is available open access under a CC BY 4.0 license at link.springer.com.
- 2020, 1st ed. 2020, 203 Seiten, Englisch
- Herausgegeben: Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada
- Verlag: Springer International Publishing
- ISBN-10: 3030620778
- ISBN-13: 9783030620776
- Erscheinungsdatum: 28.10.2020
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 7.06 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Logic, Language, and Security / Lecture Notes in Computer Science Bd.12300".
Kommentar verfassen