On constructing minimal formulae /

QR Kod

On constructing minimal formulae /

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Dunne, Paul E.
Materyal Türü:	Makale
Dil:	English
Konular:	Boolean formulae Graph-based algorithms Minimum equivalent expression problem Non-adaptive np oracle computations
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

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

Boolean Representations of Simplicial Complexes and Matroids
Yazar:: Rhodes, John, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Graphs, Algorithms, and Optimization
Yazar:: Kocay, William
Baskı/Yayın Bilgisi: (2005)

Graphs, algorithms, and optimization /
Yazar:: Kocay, William.
Baskı/Yayın Bilgisi: (2005)

Graphs, algorithms, and optimization /
Yazar:: Kocay, William.
Baskı/Yayın Bilgisi: (2005)

Graphs, algorithms, and optimization /
Yazar:: Kocay, William.
Baskı/Yayın Bilgisi: (2005)

Graph algorithms and applications.
Baskı/Yayın Bilgisi: (2002)

Sheaves of algebras over boolean spaces
Yazar:: Knoebel, Arthur
Baskı/Yayın Bilgisi: (2012)

The bidimensionality theory and its algorithmic applications /
Yazar:: Demaine, Erik D.

Mathematical handbook of formulas and tables
Yazar:: Spiegel, Murray R.
Baskı/Yayın Bilgisi: (1968)

Structural engineering formulas
Yazar:: Mikhelson, Ilya
Baskı/Yayın Bilgisi: (2004)

An Introduction to Binary Arithmetic
Yazar:: International Computers Limited
Baskı/Yayın Bilgisi: (1975)

Algorithmic graph theory
Yazar:: Alan Gibbons
Baskı/Yayın Bilgisi: (1985)

A study of linguistic expressions describing women in truyen kieu by nguyen du and their english translational equivalents
Baskı/Yayın Bilgisi: (2025)

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

Parameterized complexity of cardinality constrained optimization problems /
Yazar:: Cai, Leizhen.

Conditional gene genealogies under strong purifying selection /
Yazar:: Wakeley, John.

Parameterized complexity of geometric problems /
Yazar:: Giannopoulos, Panos.

Enumerating proofs of positive formulae /
Yazar:: Dowek, Gilles.

Expletive "It" and “Its” Vietnamese Equivalent Expressions
Yazar:: Nguyễn Thị Ngọc Hạnh
Baskı/Yayın Bilgisi: (2006)

A Genus - Degree formula for Fano variety of linear subspaces on complete intersections
Yazar:: Đặng, Tuấn Hiệp, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

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

On Sets and Graphs. 1st ed. 2017
Yazar:: Omodeo, Eugenio G., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Dynamics of Complex Autonomous Boolean Networks
Yazar:: Rosin, David P
Baskı/Yayın Bilgisi: (2015)

An investigation into linguistic expressions of interpersonal meaning and their translational equivalents in the tale of kieu and its english version
Baskı/Yayın Bilgisi: (2025)

An investigation into linguistic expressions denoting sadness and solitude in the tale of kieu and its english translational equivalent by michael counsell
Baskı/Yayın Bilgisi: (2025)

Graceful, Harmonious and Magic Type Labelings. 1st ed. 2017
Yazar:: López, Susana C., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computing Boolean statistical models
Yazar:: Oliveira, Paulo Murilo Castro de

An investigation into linguistic expressions of interpersonal meaning and their translational equivalents in the tale of kieu and its english version /
Yazar:: Nguyễn,Thị Ly Thảo
Baskı/Yayın Bilgisi: (2015)

The church and a living wage
Yazar:: O'Brien, John A.
Baskı/Yayın Bilgisi: (1950)

Oracle OCP Oracle9i database fundamentals l exam guide (exam 1Z0-031) /
Yazar:: Couchman, Jason S.
Baskı/Yayın Bilgisi: (2002)

A 2-Index Stage-Based Formulation and a Construct-Merge-Solve and Adapt Algorithm for the Flying Sidekick Traveling Salesman Problem
Yazar:: Le, Thi Hong, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

A study of linguistic expressions describing women in truyen Kieu by Nguyen Du and their English translational equivalents /
Yazar:: Phạm Thị Lan Anh
Baskı/Yayın Bilgisi: (2015)

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

On the hardness of the sum of k Mins problem /
Yazar:: Asghar, Hassan Jameel.

Enterobacter sakazakii and pther microorganisms in powdered infant formula: Meeting report
Baskı/Yayın Bilgisi: (2004)

Parallel algorithms for graph problems /
Yazar:: Metaxas, Panatiotis.
Baskı/Yayın Bilgisi: (2000)

An investigation into linguistic expressions denoting sadness and solitude in the tale of kieu and its english translational equivalent by michael counsell /
Yazar:: Trang, Thục Hà Ngân
Baskı/Yayın Bilgisi: (2015)

Fast parallel algorithms for graph matching problems /
Yazar:: Karpinski, Marek, 1948-
Baskı/Yayın Bilgisi: (1998)

Equivalence theorem for generalized dependencies in relational databases
Yazar:: Nguyen, Xuan Huy, ve diğerleri
Baskı/Yayın Bilgisi: (2014)