Otsing - TalTech raamatukogu digikogu

530. Elements of expert system technology Tamm, Boris1992 uuringuaruanded

531. Expert systems technology Tamm, Boris1994 uuringuaruanded

532. Elements of expert system technology II Tamm, Boris1993 uuringuaruanded

533. On differentiability and estimation of a quantile function Tamm, Ebu1992 uuringuaruanded

534. Approximation of an unconstrained minimum using biased estimate of the goal function Tamm, Ebu1991 uuringuaruanded

535. Minimization of a probability function using asymptotically unbiased estimate Tamm, Ebu1991 uuringuaruanded

536. Estimation of quantiles avoiding order statistics Tamm, Ebu1992 uuringuaruanded

537. On geometry of optimal partitions Tamm, Ebu1990 uuringuaruanded

538. An interactive algorithm for removing inconsistencies in mixture problem Tamm, Maret1990 uuringuaruanded

539. Mathematical model and algorithm for menu planning Tamm, Maret; Rooba, Elve; Leppik, Imbi1991 uuringuaruanded

540. First-order correctness proofs for propositional logic programming Tammet, T.1990 uuringuaruanded

541. Proof search in linear logic Tammet, Tanel1992 uuringuaruanded

542. Using resolution for deciding solvable classes and building finite models Tammet, Tanel1990 uuringuaruanded

543. Documentation for hobbit version 0a Tammet, Tanel1992 uuringuaruanded

544. Functional programming Tammet, Tanel1990 uuringuaruanded

545. Resolution methods for decision problems and finite-model building Tammet, Tanel1991 uuringuaruanded

546. Proof search in linear logic Tammet, Tanel1991 uuringuaruanded

548. The language LSD and calculus CSD - tools for embedded system specification Tekko, Jaanus1991 uuringuaruanded

549. Some problems in timing analysis of the specification Tekko, Jaanus1993 uuringuaruanded

550. A formal model for the language LSD and calculus CSD Tekko, Jaanus1991 uuringuaruanded