Handbook of satisfiability. Part 1 /

Uloženo v:
Podrobná bibliografie
Další autoři: Biere, Armin, 1967- (Editor), Heule, Marijn, 1979- (Editor), Maaren, Hans van, 1950- (Editor), Walsh, Toby (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Amsterdam : IOS Press, [2021]
Vydání:Second edition
Edice:Frontiers in artificial intelligence and applications ; volume 336
Témata:
kombinatorika
algebraická logika
algoritmy (programování)
programování
algebra
výroková logika
logika
matematická logika
mathematical logic
combinatorics
computer algorithms
programming
algebraic logic
propositional calculus
logic
příručky
handbooks and manuals
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 03173nam a22008417i 4500
001 MUB01006543493
003 CZ BrMU
005 20241220142057.0
008 240910t20212021ne ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2025-01-13 
020 |a 978-1-64368-160-3 
040 |a BOD018  |b cze  |e rda 
072 7 |a 512  |x Algebra  |2 Konspekt  |9 13 
072 7 |a 004.4/.6  |x Programování. Software  |2 Konspekt  |9 23 
080 |a 510.633  |2 MRF 
080 |a 164.1  |2 MRF 
080 |a 16  |2 MRF 
080 |a 510.6  |2 MRF 
080 |a 519.1  |2 MRF 
080 |a 510.6:512  |2 MRF 
080 |a 004.421  |2 MRF 
080 |a 004.42  |2 MRF 
080 |a 512  |2 MRF 
080 |a (035)  |2 MRF 
245 0 0 |a Handbook of satisfiability.  |n Part 1 /  |c edited by Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh 
250 |a Second edition 
264 1 |a Amsterdam :  |b IOS Press,  |c [2021] 
264 4 |c ©2021 
300 |a xvii, 736 stran :  |b ilustrace 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
490 1 |a Frontiers in artificial intelligence and applications ;  |v volume 336 
500 |a Part 1 i 2 mají stejné ISBN 
504 |a Obsahuje bibliografii 
650 0 7 |a kombinatorika  |7 ph121739  |2 czenas 
650 0 7 |a algebraická logika  |7 ph249426  |2 czenas 
650 0 7 |a algoritmy (programování)  |7 ph131788  |2 czenas 
650 0 7 |a programování  |7 ph115891  |2 czenas 
650 0 7 |a algebra  |7 ph114025  |2 czenas 
650 0 7 |a výroková logika  |7 ph127455  |2 czenas 
650 0 7 |a logika  |7 ph122436  |2 czenas 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a combinatorics  |2 eczenas 
650 0 9 |a computer algorithms  |2 eczenas 
650 0 9 |a programming  |2 eczenas 
650 0 9 |a algebraic logic  |2 eczenas 
650 0 9 |a algebra  |2 eczenas 
650 0 9 |a propositional calculus  |2 eczenas 
650 0 9 |a logic  |2 eczenas 
655 7 |a příručky  |7 fd133209  |2 czenas 
655 9 |a handbooks and manuals  |2 eczenas 
700 1 |a Biere, Armin,  |d 1967-  |7 xx0053639  |4 edt 
700 1 |a Heule, Marijn,  |d 1979-  |7 xx0205265  |4 edt 
700 1 |a Maaren, Hans van,  |d 1950-  |7 xx0205266  |4 edt 
700 1 |a Walsh, Toby  |7 xx0037733  |4 edt 
830 0 |a Frontiers in artificial intelligence and applications ;  |v volume 336 
CAT |a LUKAS  |b 02  |c 20240910  |l MUB01  |h 1735 
CAT |a VESELA  |b 02  |c 20241008  |l MUB01  |h 1045 
CAT |a VESELA  |b 02  |c 20241008  |l MUB01  |h 1047 
CAT |a VESELA  |b 02  |c 20241008  |l MUB01  |h 1047 
CAT |a VESELA  |b 02  |c 20241008  |l MUB01  |h 1048 
CAT |a VESELA  |b 02  |c 20241008  |l MUB01  |h 1049 
CAT |a VESELA  |b 02  |c 20241008  |l MUB01  |h 1049 
CAT |a VESELA  |b 02  |c 20241008  |l MUB01  |h 1050 
CAT |a REPISOVA  |b 02  |c 20241220  |l MUB01  |h 1420 
CAT |c 20250113  |l MUB01  |h 1007 
LOW |a POSLANO DO SKCR  |b 2025-01-13 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 M666/1  |5 4200519874  |8 20241008  |f 77  |f Dlouhodobá  |g 14/24  |r 20241008 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 M666/1  |5 4200519878  |8 20241108  |f 74  |f Měsíční  |g 14/24  |r 20241108 
AVA |a INF50  |b FI  |d M666/1  |e available  |t K dispozici  |f 2  |g 1  |h N  |i 1 

Podobné jednotky