Slika na naslovnici

Summary goes here

Shranjeno v:
Bibliografske podrobnosti
Format: Knjiga
Jezik:angleščina
Teme:
Computer programs.
Logic, Symbolic and mathematical.
Programming (Mathematics)
Software
Programmation (Mathématiques)
Logiciels.
Logique symbolique et mathématique.
software.
Datenverarbeitung
Logik
Programmierung
Formale Methode
Programmeurs.
Formale Methode.
Logik.
Programmierung.
Algoritmer
Matematisk logikk
Computer programs
Logic, Symbolic and mathematical
Kongress
Conference papers and proceedings.
Oznake: Označite
Brez oznak, prvi označite!