المؤلفون: Clymo, Judith¹, Beyersdorff, Olaf^1,2 o.beyersdorff@leeds.ac.uk

المصدر: Information Processing Letters. Oct2018, Vol. 138, p1-6. 6p.

مصطلحات موضوعية: BOOLEAN algebra, MATHEMATICAL proofs, MATHEMATICAL formulas, COMPUTATIONAL complexity, CALCULUS

المؤلفون: Bouyer, Patricia¹ patricia.bouyer@lsv.fr, Gardy, Patrick¹ patrick.gardy@lsv.fr, Markey, Nicolas¹ nicolas.markey@lsv.fr

المصدر: Information Processing Letters. Feb2016, Vol. 116 Issue 2, p75-79. 5p.

مصطلحات موضوعية: *MATHEMATICAL models, *PROBLEM solving, SEMANTICS, MATHEMATICAL proofs, MODAL logic

المؤلفون: Kitaev, Sergey¹ sergey.kitaev@cis.strath.ac.uk, Vajnovszki, Vincent² vvajnov@u-bourgogne.fr

المصدر: Information Processing Letters. Feb2016, Vol. 116 Issue 2, p157-162. 6p.

مصطلحات موضوعية: *MATHEMATICAL analysis, PERMUTATIONS, MATHEMATICAL proofs, COMBINATORICS, BIJECTIONS

المؤلفون: Yuan, Jun¹, Liu, Aixia² aixiayuanjun@sina.com

المصدر: Information Processing Letters. Feb2016, Vol. 116 Issue 2, p163-167. 5p.

مصطلحات موضوعية: *MATHEMATICAL analysis, *MATHEMATICS, GRAPH connectivity, MATHEMATICAL proofs, INTEGERS

المؤلفون: Peltomäki, Jarkko^1,2 jspelt@utu.fi

المصدر: Information Processing Letters. Nov2015, Vol. 115 Issue 11, p886-891. 6p.

مصطلحات موضوعية: REPETITION (Learning process), MATHEMATICAL proofs, DIOPHANTINE approximation, MATHEMATICAL formulas, FORMAL languages

المؤلفون: Hirsch, Edward A.¹ hirsch@pdmi.ras.ru, Sokolov, Dmitry¹

المصدر: Information Processing Letters. Sep2015, Vol. 115 Issue 9, p725-730. 6p.

مصطلحات موضوعية: *COMPUTER algorithms, POLYNOMIALS, MATHEMATICAL proofs, ORACLE software, COMPUTATIONAL complexity, RANDOMIZATION (Statistics)

المؤلفون: Yamakami, Tomoyuki¹ TomoyukiYamakami@gmail.com

المصدر: Information Processing Letters. Nov2014, Vol. 114 Issue 11, p611-619. 9p.

مصطلحات موضوعية: QUANTUM theory, MATHEMATICAL proofs, MATHEMATICAL bounds, COMPUTATIONAL complexity, TWO-way communication, POLYNOMIAL time algorithms

المؤلفون: Ito, Tsuyoshi

المصدر: Information Processing Letters. Oct2014, Vol. 114 Issue 10, p579-583. 5p.

مصطلحات موضوعية: QUANTUM entanglement, MATHEMATICAL proofs, INTERACTIVE proof methods, PARALLELIZING compilers, QUANTUM states, ARBITRARY constants

المؤلفون: Ďuriš, Pavol¹ duris@dcs.fmph.uniba.sk, Košta, Marek¹ mkosta@mpi-inf.mpg.de

المصدر: Information Processing Letters. Aug2014, Vol. 114 Issue 8, p417-420. 4p.

مصطلحات موضوعية: *MACHINE theory, *PROGRAMMING languages, *PROBLEM solving, MATHEMATICAL proofs, RECURSIVE functions

المؤلفون: Schubert, Aleksy¹ alx@mimuw.edu.pl, Fujita, Ken-etsu² fujita@cs.gunma-u.ac.jp

المصدر: Information Processing Letters. Jan2014, Vol. 114 Issue 1/2, p72-75. 4p.

مصطلحات موضوعية: *REMOTE computing, *MATHEMATICAL analysis, MATHEMATICAL proofs, NUMERICAL analysis, COMPUTER science research