Logic, Language, Information and Computation / Lecture Notes in Computer Science Bd.4576 (PDF)
The 14th International Workshop on Logic, Language, Information and Computation focused on foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware...
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
The 14th International Workshop on Logic, Language, Information and Computation focused on foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions, and resources; and foundational aspects of information organization, search, flow, sharing, and protection.
- 2007, 2007, 366 Seiten, Englisch
- Herausgegeben: Daniel Leivant, Ruy De Queiroz
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3540734457
- ISBN-13: 9783540734451
- Erscheinungsdatum: 04.07.2007
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 6.74 MB
- Mit Kopierschutz
- Vorlesefunktion
Schreiben Sie einen Kommentar zu "Logic, Language, Information and Computation / Lecture Notes in Computer Science Bd.4576".
Kommentar verfassen