×

Found 77 Documents (Results 1–77)

Program development by proof transformation. (English) Zbl 0856.03010

Schwichtenberg, Helmut (ed.), Proof and computation. Proceedings of the NATO ASI summer school held in Marktoberdorf, Germany, July 20-August 1, 1993. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 139, 1-45 (1995).
Reviewer: Li Xiang (Guiyang)
MSC:  03B35 68T15 03B60 68N17
PDFBibTeX XMLCite

Logics for negation as failure. (English) Zbl 0755.03012

Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 521-583 (1992).
Reviewer: Li Xiang (Guiyang)
MSC:  03B70 68N17
PDFBibTeX XMLCite

Operational semantics in a natural deduction setting. (English) Zbl 0755.03011

Logical frameworks, Proc. 1st Annu. Workshop, Sophia-Antipolis/Fr. 1990, 185-214 (1991).
Reviewer: Li Xiang (Guiyang)
MSC:  03B70 68N15 68Q55
PDFBibTeX XMLCite

Scientific correspondence of P. N. Lebedev. (Nauchnaya perepiska P. N. Lebedeva). Comp. by E. I. Pogrebysskaya. Transl. from the German, French and English by T. N. Klado. (Nauchnaya perepiska P. N. Lebedeva.) (Russian. English summary) Zbl 0726.01021

Nauchnoe Nasledstvo, 15. Moskva: Nauka. 502 p. R. 9.00 (1990).
Reviewer: Li Xiang (Guiyang)
MSC:  01A70 01A55 01A60
PDFBibTeX XMLCite

A. A. Chuprov. Life, work, correspondence. (А. А. Чупров. Жизн’, творчество, переписка.) (Russian) Zbl 0719.01020

Moskva: Gosudarstvennyj Komitet SSSR po Statistike, Informatsionno- Izdatel’skij Tsentr. 147 p. (1990).
Reviewer: Xiang Li (Guiyang)
MSC:  01A70 62-03
PDFBibTeX XMLCite

History of computer science. From the simplest calculators to complex relay systems. (История вычислительной техники. От простейших счетных приспособлений до сложных релейных систем.) (Russian. English summary) Zbl 0722.68002

Moskva: Nauka. 264 p. R. 3.00 (1989).
Reviewer: Li Xiang (Guiyang)
MSC:  68-03 01A40 01A60
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Software