On constructing minimal formulae /

Mã QR

On constructing minimal formulae /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Dunne, Paul E.
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Boolean formulae Graph-based algorithms Minimum equivalent expression problem Non-adaptive np oracle computations
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Some results on minimum discrete bending energy path in simple polygon /
Bỡi: Xie, Yulai.

Boolean Representations of Simplicial Complexes and Matroids
Bỡi: Rhodes, John, et al.
Được phát hành: (2015)

Sheaves of algebras over boolean spaces
Bỡi: Knoebel, Arthur
Được phát hành: (2012)

Graphs, Algorithms, and Optimization
Bỡi: Kocay, William
Được phát hành: (2005)

Graphs, algorithms, and optimization /
Bỡi: Kocay, William.
Được phát hành: (2005)

Graphs, algorithms, and optimization /
Bỡi: Kocay, William.
Được phát hành: (2005)

Graphs, algorithms, and optimization /
Bỡi: Kocay, William.
Được phát hành: (2005)

Graph algorithms and applications.
Được phát hành: (2002)

The bidimensionality theory and its algorithmic applications /
Bỡi: Demaine, Erik D.

Mathematical handbook of formulas and tables
Bỡi: Spiegel, Murray R.
Được phát hành: (1968)

An Introduction to Binary Arithmetic
Bỡi: International Computers Limited
Được phát hành: (1975)

Structural engineering formulas
Bỡi: Mikhelson, Ilya
Được phát hành: (2004)

Algorithmic graph theory
Bỡi: Alan Gibbons
Được phát hành: (1985)

The Oleinik-Lax-type formulas for multi-time Hamilton-Jacobi equations /
Bỡi: Van, Tran Duc.

Parameterized complexity of cardinality constrained optimization problems /
Bỡi: Cai, Leizhen.

Conditional gene genealogies under strong purifying selection /
Bỡi: Wakeley, John.

Parameterized complexity of geometric problems /
Bỡi: Giannopoulos, Panos.

Enumerating proofs of positive formulae /
Bỡi: Dowek, Gilles.

A Genus - Degree formula for Fano variety of linear subspaces on complete intersections
Bỡi: Đặng, Tuấn Hiệp, et al.
Được phát hành: (2024)

Wallace's approach to unsupervised learning : the snob program /
Bỡi: Jorgensen, Murray A.

The church and a living wage
Bỡi: O'Brien, John A.
Được phát hành: (1950)

On Sets and Graphs. 1st ed. 2017
Bỡi: Omodeo, Eugenio G., et al.
Được phát hành: (2020)

Dynamics of Complex Autonomous Boolean Networks
Bỡi: Rosin, David P
Được phát hành: (2015)

Computing Boolean statistical models
Bỡi: Oliveira, Paulo Murilo Castro de

Graceful, Harmonious and Magic Type Labelings. 1st ed. 2017
Bỡi: López, Susana C., et al.
Được phát hành: (2020)

On the hardness of the sum of k Mins problem /
Bỡi: Asghar, Hassan Jameel.

On embeddedness of area-minimizing disks, and an application to constructing complete minimal surfaces /
Bỡi: Rossman, Wayne.

Parallel algorithms for graph problems /
Bỡi: Metaxas, Panatiotis.
Được phát hành: (2000)

Equivalence theorem for generalized dependencies in relational databases
Bỡi: Nguyen, Xuan Huy, et al.
Được phát hành: (2014)

Enterobacter sakazakii and pther microorganisms in powdered infant formula: Meeting report
Được phát hành: (2004)

Fast parallel algorithms for graph matching problems /
Bỡi: Karpinski, Marek, 1948-
Được phát hành: (1998)

Applications of Evolutionary Computation
Bỡi: Squillero, Giovanni, et al.
Được phát hành: (2020)

Swarm Intelligence
Bỡi: Dorigo, Marco, et al.
Được phát hành: (2020)

Recent Trends and Future Technology in Applied Intelligence
Bỡi: Mouhoub, Malek, et al.
Được phát hành: (2020)

KI 2018: Advances in Artificial Intelligence
Bỡi: Trollmann, Frank, et al.
Được phát hành: (2020)

Enterobacter Sakazakii and Salmonella in powdered infant formula :
Được phát hành: (2006)

Tools and Algorithms for the Construction and Analysis of Systems
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Được phát hành: (2020)

Improve recognition performance of limabeam algorithm using mllr adaptation for environment
Bỡi: Nguyen, Dinh Cuong, et al.
Được phát hành: (2012)

Oracle8 design using UML object modeling
Bỡi: Dorsey, Paul
Được phát hành: (1999)